Something went wrong. Try again.
an experimental forester forest with a proof assistant bolted on
Something went wrong. Try again.
128 B · 5 lines
at main
12345\title{Testing Holbert-NG in Forester}\author/literal{Liam O'Connor}\transclude{nats}\transclude{theorem}\transclude{config}