felko's repositories
neuron-mode
An emacs mode for editing Zettelkasten notes with neuron
linear-algebra
Linear algebra formalization in Agda
cc-deconstructed
Mechanized soundness and bisimulation proofs for variants of the capture calculus
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
SpaceInvader
Space Invader in Python using PyGame
TerrainGenerator2D
Generates a 2D array representing a simple terrain