Lambda is not a four letter word. My blog on all things haskell and FP.
-
Updated
Sep 3, 2025 - HTML
#
equational-reasoning
Here are 7 public repositories matching this topic...
Mathematics Distillation Challenge - Equational Theories - Stage1 & Stage 2
challengealgebramathematicsleanmagmamath-olympiadmathematical-programmingalgebraic-equationsequational-reasoningautomated-theorem-provingequational-logicameythakurameyequational-theorysairsair-labameyarcequational-theoriesamey-thakurmathematics-distillation
-
Updated
Aug 11, 2026 - Lean
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
logicfirst-order-logicformal-methodsformal-verificationzformal-specificationz-notationsequational-reasoningz-notationproof-systemsequational-logic
-
Updated
Aug 9, 2022 - TeX
Multi-Operational Mathematical Derivations in Latent Space
machine-learningtransformersrecurrent-neural-networksconvolutional-neural-networksmathematical-expressionslatent-spacegraph-neural-networksequational-reasoning
-
Updated
Nov 4, 2023 - Python
Haskell's applicative functors are multi-category functors
-
Updated
Jan 27, 2024 - TeX
A visual-first equational notebook for learning functional programming and theorem proving, backed by dependent types.
-
Updated
Jul 28, 2026 - TypeScript
A work in progress of formal aspects, in Agda, of an equational calculus for ∞-categories, implementing the free model construction, normalization algorithm, and a decision procedure for equality of higher-categorical terms, based on the theory developed in the preprint 'Equational Reasoning in ∞-Categories.'
-
Updated
Jun 30, 2026 - Rocq Prover
Improve this page
Add a description, image, and links to the equational-reasoning topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the equational-reasoning topic, visit your repo's landing page and select "manage topics."