coq_formatter. A script which formats coq definitions and theorems

github.com/NilsHasNoGithub/coq_formatter

@NilsHasNoGithub

Problem

Audience

Updates

No founder updates yet. Check back soon.