Punctilious

A human-friendly and developer-friendly math proof assistant