A modern, high customizable, responsive Jekyll theme for documentation with built-in search.

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Implementation of BESM-6 clone in Verilog

A simple GUI for Agda