#

logic-proofs

Here are 3 public repositories matching this topic...

logic-learning-assistance-tool

joshuacrotts / logic-learning-assistance-tool

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

java computer-science gui logic philosophy first-order-logic teaching propositional-logic formal-logic predicate-logic logic-proofs

Updated Jun 20, 2021
Java

SamC95 / asteroidsgame-bmachine

Year 3 University Coursework - Formal Methods (AtelierB & ProB)

game-logic formal-methods university-coursework atelier-b pro-b logic-proofs

Updated May 9, 2024

eperez3713 / logic-pro

Logic Pro is Apple's professional music creation software for recording, composing, beat making, mixing, mastering and sound desig

logic-programming logic-pro-x logic-proposition logic-proofs logic-pro logic-pro-x-cloud-features logic-pro-x-download logic-pro-x-setup logic-pro-vs-cubase logic-pro-2026

Updated Sep 1, 2026

Add this topic to your repo

To associate your repository with the logic-proofs topic, visit your repo's landing page and select "manage topics."