Grant Jurgensen's repositories
acl2
ACL2 System and Books as Maintained by the Community
Language:Common LispNOASSERTION000
000
000
Language:Rust000
satellite
A toy SAT solver
Language:Rust000
Language:C000
Language:Standard ML000
Language:CMake000
case-ta6-platform-assessment-camkes-apps
CAmkES applications for the DARPA CASE program Platform Assessment #1
Language:AssemblyBSD-3-Clause000
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCamlLGPL-2.1000
Language:Jupyter Notebook000
Language:CSSMIT000
Language:Coq000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:Coq000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:Jupyter Notebook000