alpha
Sign in
Join now
holbert-forester
liamoc.net
/
Star
Starred
Star
2
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
an experimental forester forest with a proof assistant bolted on
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
main
Branches
main
default
Tags
No tags found
View all branches
View all tags
1
1
0
Code
Clone this repository
Use permalink
HTTPS
https://next-dev.tangled.org/liamoc.net/holbert-forester
SSH
git@tangled.org:liamoc.net/holbert-forester
For self-hosted knots, clone URLs may differ based on your setup.
tar.gz
.zip
Files
assets
2mo ago
theme
2mo ago
trees
2mo ago
.gitignore
2mo ago
forest.toml
2mo ago
Commits
1
holbert and forester, together at last
Liam O’Connor
·
2mo ago
efd49ab8
Copied
Failed
Copy SHA
Branches
1
main
·
2mo ago
Default
Languages
XSLT
37%
HTML
29%
CSS
28%
JavaScript
4%
2%
1 more language
<1%
