Popular repositories Loading

1. awesome-lambda-calculus awesome-lambda-calculus Public

   1

2. lambda_calculus_rust lambda_calculus_rust Public

   Forked from ljedrz/lambda_calculus

   A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

   Rust 1

3. Fokker_challenge Fokker_challenge Public

   Verify the smallest one-point basis for untyped lambda calculus

   Lean 1

4. cslib cslib Public

   Forked from leanprover/cslib

   The Lean Computer Science Library (CSLib)

   Lean