tk
/
zen
Watch 1
Star 0
Fork 0
Code Releases 0 Activity
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.
421 Commits
3 Branches
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
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.