mehbark mbk
0 followers · 0 following
Repositories
43
 Projects Packages Public activity Starred repositories
Filter
Sort
bytecode
Lean 0 0
Updated 2025-04-11 18:26:04 -04:00
simple-counterexamples
Lean 0 0
Updated 2025-04-08 23:13:30 -04:00
invariant
Lean 0 0
Updated 2025-04-04 20:02:58 -04:00
justify
Lean 0 0
lean monospace justification algorithm described in Haskell: the Craft of Functional Programming (implementation not based on that though)
Updated 2025-02-04 10:15:53 -05:00
sized-array
Lean 0 0
Updated 2024-08-09 00:20:06 -04:00
analytic-trigonometry
Lean 0 0
Updated 2024-08-09 00:17:07 -04:00