-
zenith Public
An interactive theorem prover with automation-oriented interfaces (NOT ready for use).
-
cmake-new Public template
C++ project template.
CMake Creative Commons Zero v1.0 Universal UpdatedMay 2, 2025 -
leansubst Public
An Autosubst-like tool for handling de Bruijn indices (NOT ready for use).
-
-
vxrt Public
Voxel raycasting test.
-
-
filter-game Public
Lean 4 version of the filter game.
-
calculus-of-constructions Public
Lean 3 formalisation of bare-bones CC_ω.
Lean Creative Commons Zero v1.0 Universal UpdatedJun 3, 2023 -
NEXWorld Public
Yet another Minecraft-one-week-challenge?
-
c-project-extension-group-48 Public
Our extension part for the first year C group project at Imperial College London Department of Computing
-
-
{{ message }}