Similar repositories to gender-combinator/agda-proof-trees:

• gender-combinator/agda-proof-trees github similar
• Trebor-Huang/ZFC github similar
• mvr/at github similar
• jonsterling/agda-synthetic-domain-theory github similar
• plt-amy/cubical-methods github similar
• msp-strath/TypOS github similar
• wenkokke/schmitty github similar
• plt-amy/1lab github similar
• RedPRL/cooltt github similar
• agda/agda-categories github similar
• math-comp/math-comp github similar
• agda/agda-stdlib github similar
• andrejbauer/plzoo github similar
• HoTT/book github similar
• agda/agda github similar
• haskell/haskell-language-server github similar
• FStarLang/FStar github similar
• steshaw/plt github similar
• 3b1b/manim github similar