Grant Jurgensen's repositories
acl2
ACL2 System and Books as Maintained by the Community
Language:Common LispNOASSERTION000
000
000
Language:Rust000
Language:Haskell000
Language:C000
cakeml
CakeML: A Verified Implementation of ML
Language:Standard MLNOASSERTION000
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
coqToMd
A parser from an annotated Coq file to a Jekyll markdown file
Language:HaskellBSD-3-Clause000
Language:Jupyter Notebook000
Language:Emacs Lisp000
Language:CSSMIT000
Language:Coq000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:Coq000
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:Jupyter Notebook000