FP, PLT & DTT. Haskell & Lean 4. Versatile, logical, industrious.
- Die Toteninsel
- @[email protected]
Block or Report
Block or report thelissimus
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseInterested in all the things functional. Jack of many trades, master of some, fan of none. 1-based indexing apologist.
Pinned Loading
-
leanprover-community/batteries
leanprover-community/batteries PublicThe "batteries included" extended library for the Lean programming language and theorem prover
-
keilambda/eocia-lean
keilambda/eocia-lean PublicEssentials of Compilation: An Incremental Approach in Lean 4
Lean 3
-
jinyus/related_post_gen
jinyus/related_post_gen PublicData Processing benchmark featuring Rust, Go, Swift, Zig, Julia etc.
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.