Pinned Loading

1. worklist_intersection_union worklist_intersection_union Public archive

   Coq 2

2. HuStmpHrrr/mech-type-theories HuStmpHrrr/mech-type-theories Public

   Mechanizations of Type Theories

   Agda 36 1

3. Beluga-lang/McTT Beluga-lang/McTT Public

   Building A Correct-By-Construction Proof Checkers For Type Theories

   Rocq Prover 32 5

4. agda-mode-vscode agda-mode-vscode Public

   Forked from banacorn/agda-mode-vscode

   agda-mode on VS Code

   ReScript 1

5. binding_technique_exp binding_technique_exp Public

   Coq 5

6. NbE_demo NbE_demo Public

   Rocq Prover 2