alessandra simmons

Advanced
@MixedMatched

compilers, pl, and formal methods enthusiast / curry-howard-brained / compiler dev at amd!

adrs.pub

formalizing-game-theory. Example formalization of Game Theoretic concepts in Lean

30

juniper. A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4

24

fruity. CSS

3

cs7480-lean. Lean

1

fourbeecpu. very simple 4-bit cpu powered by tiny bees

1
5
Apply