Programming Language and Theorem Prover
Lean4
-
GenZMK
Generate keyboard config and diagrams with Lean4.
-
Advent Of LāāN
Functional Programing with Lean4.
This work is licensed under a Creative Commons Attribution 4.0 International License