Found 76 repositories(showing 30)
leanprover
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
T-Brick
Tool for compiling Lean to WASM
arthurpaulino
No description available
Deducteam
WIP translation from Lean to Dedukti
andrejbauer
Convert Lean .olean files to s-expressions
fosterfarrell9
Command-line tool that converts Lean files (.lean) to Markdown (.md) documents
AdamLeopold
No description available
matenciac14
No description available
Lean2828
No description available
ruhansanabria
No description available
lean2305
No description available
jjaassoonn
No description available
jeswr
Convert theorems in Lean to RDF
heroku20
No description available
jufei
No description available
tranhungthang22
No description available
zanjie1999
No description available
CasparVelsen
No description available
fernandoantoniodantas
No description available
PurpleAmyr
No description available
Agents-Dev-Team-Project-3
Lean 2 is an e-commerce site where you’ll find outdoor gear and clothing for every budget and skill level. This is camping, hiking, trail running, mountain biking, skiing, mountaineering, backpacking and more, all under one lean-to.
Sukkrivaa
No description available
Lean2050
Config files for my GitHub profile.
Lean250
Config files for my GitHub profile.
Sigga-Bopha
No description available
goldstrn
No description available
damot89
No description available
lean278000
No description available
designingpages
No description available
lean213
Config files for my GitHub profile.