Matthias Hetzenberger's repositories
Nonogram-Solver
Backtracking Nonogram Puzzle Solver written in Python 3
Protohackers-Racket
My Racket solutions to the protohackers challenges (https://protohackers.com).
Language:Emacs Lisp000
Language:ScalaMIT000
logic
Logic utilities for Emacs
Language:Emacs LispMIT000
mltt
Rules of the Martin-Löf type theory
Language:TeXUnlicense000
ocaml.org
The official OCaml website.
Language:HTMLNOASSERTION000
pgf
A Portable Graphic Format for TeX
Language:TeX000
vampire
The Vampire Theorem Prover
Language:C++NOASSERTION000
zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Language:OCamlBSD-2-Clause000