Topic: "lambda-cube"
groupoid/henk
🧊 Чиста система з всесвітами
Language: Erlang - Size: 10.7 MB - Last synced at: 1 day ago - Pushed at: about 2 months ago - Stars: 147 - Forks: 16
steshaw/lennart-lambda-cube
Lennart Augustsson's lamda cube
Language: Haskell - Size: 20.5 KB - Last synced at: 3 months ago - Pushed at: about 9 years ago - Stars: 12 - Forks: 3
aatxe/cube.idr
An implementation of the Lambda Cube in Idris.
Language: Idris - Size: 30.3 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0
keilambda/ttfpi-agda
Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda
Language: Agda - Size: 60.5 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0
rudynicolop/Lambda-Calculi-OCaml
Lambda Calculus implementations in OCaml.
Language: OCaml - Size: 91.8 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
hargoniX/lean-cube
Theories in Lean for various calculi from the lambda cube.
Language: Lean - Size: 46.9 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
cannor147/itmo-tt
Type Theory course at ITMO University
Language: Java - Size: 198 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
rudynicolop/Lambda-Calculi-Coq
Lambda-Calculi implementations & proofs in Coq
Language: Coq - Size: 152 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0