adelon
adelon
/ checkerboard.ftl.tex
Created
June 30, 2021 22:36
Literate formalization of the mutilated checkerboard problem in Naproche
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| \documentclass{article} | |
| \title{The mutilated checkerboard} | |
| \author{Adrian De Lon, Peter Koepke, Anton Lorenzen} | |
| \date{2021} | |
| \usepackage[utf8]{inputenc} | |
| \usepackage[english]{babel} | |
| \usepackage{hyperref} | |
| \usepackage{amsthm} |
adelon
/ Russian.hs
Last active
May 1, 2019 19:08
Proof checker for FOL, based on the paper 'Theorem proving in a Russian room' by Sven Eric Panitz
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# OPTIONS_GHC -Wall #-} | |
| {-# LANGUAGE InstanceSigs #-} | |
| module Russian where | |
| import Data.List as List | |
| import Data.Semigroup | |