Giters
berndlosert

berndlosert

Geek Repo

3

followers

0

following

0

stars

Github PK Tool:Github PK Tool

berndlosert's repositories

agda-base

A base library for Agda for regular programming

Language:AgdaStargazers:8Issues:0Issues:0

convergence

Theory of convergence spaces in Lean 3

Language:LeanStargazers:1Issues:0Issues:0

cats-effect

The pure asynchronous runtime for Scala

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lean

Lean Theorem Prover

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

purescript-partial

Utilities for working with partial functions

Language:PureScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0