Liam O'Connor

A wiki based on firm theoretical foundations

liamoc

An intensely interactive, graphical theorem prover based on natural deduction

liamoc

A graphical interactive proof assistant designed for education

liamoc

Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

liamoc

Learn you an Agda (and achieve enlightenment)

liamoc

a collection of desktop games written in rust

liamoc

A library for patches (diffs) on vectors: composable, mergeable and invertible

liamoc

High level, generic library for interrogative user interfaces in Haskell

liamoc