Similar repositories to acallesalda/setform:

• acallesalda/setform github similar
• alexcrichton/cc-rs github similar
• Eloston/ungoogled-chromium github similar
• L-TChen/PCF-Nominal github similar
• groupoid/anders github similar
• berenoguz/Math github similar
• jonaprieto/agda-prop github similar
• zaklogician/linear-constructive github similar
• benjaminselfridge/logix github similar
• jespercockx/popl19-tutorial github similar
• gallais/agda-presburger github similar
• avigad/qpf github similar
• xgrommx/agda-ecosystem github similar
• mortberg/gen-cart github similar
• hivert/Coq-Combi github similar
• b-mehta/topos github similar
• ramonfmir/lean-scheme github similar
• Saizan/cubical-demo github similar
• fredefox/cat github similar
• abooij/wiwikwlhott github similar
• atelierbram/Base2Tone github similar
• jldodds/coq-lean-cheatsheet github similar
• rust-crates/ergo github similar
• Bodigrim/poly github similar
• sstucki/system-f-agda github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• CoqEAL/CoqEAL github similar
• basvandijk/scientific github similar
• tfausak/thran github similar
• gebner/hott3 github similar
• martinescardo/TypeTopology github similar
• algebraic-graphs/agda github similar
• eprover/eprover github similar
• amintimany/Categories github similar
• flypitch/flypitch github similar
• coq-community/math-classes github similar
• leanprover-community/lean-perfectoid-spaces github similar
• chriskempson/base16 github similar
• jozefg/blott github similar
• rust-lang/annotate-snippets-rs github similar