#

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

LegislatorDash / Logic-X-10.8.1-Unlocked

Logic Pro X 10.8.1 Full Version for macOS with Unlocked Build, VST3 Support, and Pre-Activated Setup.

additive-synth logicprox logic-pro-x virtual-instruments logic-proofs logic-pro dawproject daw-project logic-pro-vs-cubase cub-cadet-pro-z-100-54-inch cub-cadet-pro-z-500-problems final-cut-x aess-user-tools covert-pro-aess-performance-tools apple-loops music-production-mac dawproject-to-logic

Updated Jun 21, 2026

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

Improve this page

Add a description, image, and links to the logic-proofs topic page so that developers can more easily learn about it.

Curate this topic

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."