GitPlanet
All Git Users → TOTBWF

3 open source projects by TOTBWF

[ Open user page on Github ]
1. coolttviz
No description, website, or topics provided.
✭ 16
rustGLSL
2. refinery
⛏️ A refinement proof framework for haskell
✭ 53
haskellproof-refinementproof-automation
3. cubical-categories
Category theory formalized in cubical agda
✭ 20
Agdacubical-type-theorycategory-theoryagda
1-3 of 3 user projects