Learn Lean 4 with PLFA proofs.
-
Updated
Apr 8, 2025 - Lean
#
plfa
Here are 8 public repositories matching this topic...
A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses the infrastructure for λ-terms and substitutions provided by the PLFA book
-
Updated
Sep 21, 2022 - Agda
Estimating soil microbial biomass from phospholipid fatty acid (PLFA) collected by NEON
-
Updated
Mar 19, 2025 - R
Contains cleaned data and analysis scripts for a multi‐site woodland restoration study, focusing on key indicators—microbial biomass carbon (µg/g), PLFA community, total organic carbon (TOC) and soil pH. It provides summary statistics, ANOVA tests and visualisation workflows to compare soil health and microbial dynamics across restoration ages.
python r jupyter-notebook group-project r-studio plfa woodlands restoration-ecology microbial-biomass ndvi-analysis woodland-restoration
-
Updated
May 11, 2025 - Jupyter Notebook
-
Updated
Mar 22, 2021 - Agda
Answers to the exercises on the book Programming Language Foundations in Agda
-
Updated
Apr 9, 2021 - Agda
Solutions to the book: Programming Language Foundations in Agda, from Wadler, Philip, Wen Kokke, and Jeremy G. Siek
-
Updated
Sep 4, 2022 - Agda
Improve this page
Add a description, image, and links to the plfa topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the plfa topic, visit your repo's landing page and select "manage topics."