There are 2 repositories under intuitionistic-logic topic.
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Open source F# mathematical logic library.
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
Intuitionistic and classical propositional logic library
papers of Per Martin Löf
A natural deduction prover in Gentzen's system.
Type theoretical proofs in Agda proving the Ring of Integers.
Graphical Tableaux Prover for Propositional-, First Order Predicate-, Intuitionistic Propositional- and Intuitionistic First Order Predicate Logic
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
I'm trying to use haskell as a proof checker. Simple.
Material sobre de lógica constructiva para bosquejar un curso introductorio de pregrado