bridgekat
😇 I am an undergraduate student, interested in creating semi-automated theorem provers...
@ImperialCollegeLondon
Pinned Repositories
c-project-extension-group-48
Our extension part for the first year C group project at Imperial College London Department of Computing
calculus-of-constructions
Lean 3 formalisation of bare-bones CC_ω.
cmake-new
C++ project template.
filter-game
Lean 4 version of the filter game.
leansubst
An Autosubst-like tool for handling de Bruijn indices.
NEXWorld
Yet another Minecraft-one-week-challenge?
sdl-opengl
SDL + OpenGL project templates
vxrt
Voxel raycasting test.
zenith
NEWorld
NEWorld is a free game with similar game rules to Minecraft.
bridgekat's Repositories
bridgekat/vxrt
Voxel raycasting test.
bridgekat/zenith
bridgekat/NEXWorld
Yet another Minecraft-one-week-challenge?
bridgekat/filter-game
Lean 4 version of the filter game.
bridgekat/c-project-extension-group-48
Our extension part for the first year C group project at Imperial College London Department of Computing
bridgekat/leansubst
An Autosubst-like tool for handling de Bruijn indices.
bridgekat/sdl-opengl
SDL + OpenGL project templates
bridgekat/calculus-of-constructions
Lean 3 formalisation of bare-bones CC_ω.
bridgekat/cmake-new
C++ project template.
bridgekat/files
Large file storage for other repositories
bridgekat/lean-notes
Some random personal notes in Lean.