search

pkra / laml-wc

A continuation of an experiment
https://pkra.github.io/laml-wc
0 stars 0 forks source link

proofs should not be enumerated #5

Closed pkra closed 12 months ago

pkra commented 12 months ago

Following #4, we can now disable numbering for proofs.