Similar repositories to UniversalAlgebra/lean-ualib:
UniversalAlgebra/lean-ualib
github
similar
danistefanovic/build-your-own-x
github
similar
jirkamarsik/lambda-mu
github
similar
jwiegley/zomega
github
similar
Lysxia/coq-recursion-schemes
github
similar
justinwoo/purescript-mochi
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
meilisearch/MeiliSearch
github
similar
GamestonkTerminal/GamestonkTerminal
github
similar
conal/agda-fft
github
similar
tuvtran/project-based-learning
github
similar
otim-project/ega
github
similar
adrieng/sync-lang
github
similar
silvanshade/cool-tt
github
similar
mortberg/TypeTheory
github
similar
nbenton/coqdomains
github
similar
jonsterling/lean-syntax
github
similar
unimath2019-tt/UniMath
github
similar
pigworker/Box
github
similar
kcsmnt0/numbers
github
similar
favonia/kusariyarou
github
similar
jonsterling/coq-algebra-experiments
github
similar
mvr/rainbow
github
similar
justinwoo/purescript-has-js-rep
github
similar
jesyspa/polycat
github
similar
ssomayyajula/refinery
github
similar
pribanacek/cicadas
github
similar
TOTBWF/cooltt-categories
github
similar
axiomsofchoice/cat-svg
github
similar
isovector/erdos
github
similar
amcknight/scont
github
similar
gvolpe/par-dual
github
similar
polysemy-research/polysemy-scoped
github
similar
woodrush/sectorlisp-ref-in-bf
github
similar
conal/contractive
github
similar
ToTal/total
github
similar
guillaumebrunerie/SmashProduct
github
similar
agda/guarded
github
similar
xuanruiqi/commalg
github
similar