jamesj64 / Automated-Theorem-Prover

A functionally-programmed theorem prover written in F#

jamesj64/Automated-Theorem-Prover Stargazers

James Jordan
jamesj64
Daniel Xu
danielxu04
James Treap
JamesTreap

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.