Pinned Repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Coq99Problems
CoqLogicExercises
Collection of prop-logic and FOL exercises solved in Coq
ExerciseSolutions
ExerciseSolutions_New
flix99
Haskell99Arrow
Solutions to the 99 Haskell/Prolog problems using arrows
Isabelle99Problems
LeanLogicExercises
Logic exercises solved in lean
LogicForwardProofs
Propositional logic and FOL proofs (froward style)
SvenWille's Repositories
SvenWille/LogicForwardProofs
Propositional logic and FOL proofs (froward style)
SvenWille/CoqLogicExercises
Collection of prop-logic and FOL exercises solved in Coq
SvenWille/Haskell99Arrow
Solutions to the 99 Haskell/Prolog problems using arrows
SvenWille/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
SvenWille/Coq99Problems
SvenWille/ExerciseSolutions
SvenWille/ExerciseSolutions_New
SvenWille/flix99
SvenWille/Isabelle99Problems
SvenWille/LeanLogicExercises
Logic exercises solved in lean
SvenWille/Haskell99Pointfree
Solutions to the 99 Haskell/Prolog problems using pointfree style (under construction)
SvenWille/Haskell99ReaderWriterState
Solutions to the 99 Haskell/Prolog problems using the reader, writer and state monad (under construction)
SvenWille/HaskellGraphics
Implementing graphical "stuff" using different graphic libraries
SvenWille/ParsecImplementingEsolangs
implementing mostly esolangs using multiple (parsec) libraries
SvenWille/ProvingStuff
Just proving stuff ...