Pinned Repositories
aqas
epozytorium2
GA_cca
hackatonSCtoND
lph
Logic Programs in Haskell
PRS2020
SCtoNDrules
Haskell program translating rules of Sequent Calculus to rules of Natural Deduction.
aabb
lph
Logic Programs in Haskell
aczyz's Repositories
aczyz/aqas
aczyz/epozytorium2
aczyz/GA_cca
aczyz/hackatonSCtoND
aczyz/lph
Logic Programs in Haskell
aczyz/PRS2020
aczyz/SCtoNDrules
Haskell program translating rules of Sequent Calculus to rules of Natural Deduction.