You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Thomas Kerber 6c995d4e52
Mild reorg. Maybe try agda again.
2 days ago
external Update. 3 days ago
hosts Mild reorg. Maybe try agda again. 2 days ago
id.pub Hornet lives! 2 months ago
modules Mild reorg. Maybe try agda again. 2 days ago
.gitignore Move to /cfg. 1 year ago
.gitmodules I need to push more often. 1 week ago
README.md Coq + updates 1 year ago
configuration.nix I need to push more often. 1 week ago
default.nix I need to push more often. 1 week ago

README.md

Zen

My system configurations are zen.