Logic
3 projects
Showing 3 of 3 projects
Theoretical Computer SciencePython
A curated list of resources for theoretical computer science, emphasizing mathematical techniques and rigor.
#lists#mathematics#formal-methods
Stars1.1k
Forks63
Last commit
Theoretical Computer SciencePython
A curated list of resources for learning theoretical computer science, emphasizing mathematical techniques and rigor.
#lists#mathematics#formal-methods
Stars1.1k
Forks63
Last commit
J-BobScheme
A lightweight proof assistant for teaching and exploring formal verification, accompanying The Little Prover book.
#racket#functional-programming#educational
Stars437
Forks66
Last commit2 years ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.