Skip to content

Instantly share code, notes, and snippets.

View adelon's full-sized avatar

adelon

View GitHub Profile
@adelon
adelon / checkerboard.ftl.tex
Created June 30, 2021 22:36
Literate formalization of the mutilated checkerboard problem in Naproche
\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
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
{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE InstanceSigs #-}
module Russian where
import Data.List as List
import Data.Semigroup