Son HO's starred repositories
avl-verification
Aeneas applied to AVL trees
lean4-mode
Emacs major mode for Lean 4
coq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Aeneas applied to AVL trees
Emacs major mode for Lean 4
Tricks you wish the Coq manual told you [maintainer=@tchajed]