GitHub repository: philippjan/PraktikumLogik
Primary language: Haskell
Description: In diesem Repository wird der Haskell Code zum Buch "Handbook of Practical Logic and Automated Reasoning" gesammelt