Popular repositories Loading

1. linkbucket linkbucket Public

   Shift-click on links to append them to the clipboard as wikitext

   JavaScript 1

2. proof-js proof-js Public

   A mockup of a JavaScript-based proof checking environment.

   JavaScript 1

3. proof-comparison proof-comparison Public

   Shallow investigation of different proof assistants. Attempt to complete simple tasks with each one.

   1

4. FStar FStar Public

   Forked from FStarLang/FStar

   An ML-like language with a type system for program verification

   OCaml 1

5. math-db math-db Public

   Database of mathematical structures available in proof assistants such as Coq and Agda

   Haskell 1

6. dank dank Public

   Dank EA memes and other frivolous projects

   HTML 1