mhurd / logic-proof-computation

Notes and programs on "Logic, Proof and Computation" by Mark Tarver

mhurd/logic-proof-computation Stargazers

Yuriy Pitomets
Pitometsu

Links

ProductDiscover

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

Contact Site Admin: Giters.