GitHub - Supermac30/theorem-proving-assistant: A lisp powered theorem proving assistant · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
main.rkt		main.rkt
natural_numbers.rkt		natural_numbers.rkt
propositional_logic.rkt		propositional_logic.rkt

About

A lisp powered theorem proving assistant

0 stars

1 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages

Racket 100.0%