This is stars and forks stats for /rami3l/plfl repository. As of 11 May, 2024 this repository has 28 stars and 2 forks.
plfl My journey of learning Lean 4 by implementing proofs from the wonderful book Programming Language Foundations in Agda. Table of Contents Volume 2 1. Lambda: Introduction to Lambda Calculus 2. Properties: Progress and Preservation 3. DeBruijn: Intrinsically-typed de Bruijn representation 4. More: Additional constructs of simply-typed lambda calculus 5. Bisimulation: Relating reduction systems 6. Inference: Bidirectional type inference 7. Untyped: Untyped lambda calculus with full normalisation ...
plfl My journey of learning Lean 4 by implementing proofs from the wonderful book Programming Language Foundations in Agda. Table of Contents Volume 2 1. Lambda: Introduction to Lambda Calculus 2. Properties: Progress and Preservation 3. DeBruijn: Intrinsically-typed de Bruijn representation 4. More: Additional constructs of simply-typed lambda calculus 5. Bisimulation: Relating reduction systems 6. Inference: Bidirectional type inference 7. Untyped: Untyped lambda calculus with full normalisation ...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| yuma-mizuno/lean-math-workshop | LeanDockerfile | 46 | 0 | 15 | 0 |
| katydid/coq-lean-cheatsheet | LeanCoq | 11 | 0 | 0 | 0 |
| kevinsullivan/cs2120f23 | LeanCSSJavaScript | 2 | 0 | 176 | 0 |
| nomeata/loogle | NixPythonLean | 16 | 0 | 0 | 0 |
| paulcadman/lean4-leetcode | Lean | 6 | 0 | 0 | 0 |
| mhuisi/lean4-cli | Lean | 44 | 0 | 8 | 0 |
| leancloud/objc-sdk | Objective-CSwiftC | 196 | 0 | 90 | 0 |
| joneugster/InftyCat | Lean | 1 | 0 | 1 | 0 |
| meoowers/rinha | LeanDockerfileShell | 53 | 0 | 1 | 0 |
| algebraic-sofia/soda | Lean | 22 | 0 | 0 | 0 |