Programming & Proving

Code is licensed under the AGPL-3.0-or-later. The articles are licensed under CC BY-SA 4.0.

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
.github/workflows		.github/workflows
articles		articles
publications		publications
src		src
static		static
templates		templates
.envrc		.envrc
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
blog.cabal		blog.cabal
cabal.project		cabal.project
flake.lock		flake.lock
flake.nix		flake.nix

Provide feedback