berndlosert

Pinned Repositories

agda-base
A base library for Agda for regular programming
Language:Agda9 3 03
cats-effect
The pure asynchronous runtime for Scala
Language:Scala0 0 00
convergence
Theory of convergence spaces in Lean 3
Language:Lean1 3 00
lean
Lean Theorem Prover
Language:C++0 1 00
mathlib4
The math library of Lean 4
Language:Lean0 0 00
purescript-partial
Utilities for working with partial functions
Language:PureScript00
switches.mx
Open source code for the website https://switches.mx
Language:PHP0 0 00

berndlosert's Repositories

berndlosert/agda-base
A base library for Agda for regular programming
Language:Agda9 3 03
berndlosert/convergence
Theory of convergence spaces in Lean 3
Language:Lean1 3 00
berndlosert/cats-effect
The pure asynchronous runtime for Scala
Language:Scala0 0 00
berndlosert/lean
Lean Theorem Prover
Language:C++0 1 00
berndlosert/mathlib4
The math library of Lean 4
Language:Lean0 0 00
berndlosert/purescript-partial
Utilities for working with partial functions
Language:PureScript00
berndlosert/switches.mx
Open source code for the website https://switches.mx
Language:PHP0 0 00