Previously: A real nice similar project using Coq: https://news.ycombinator.com/item?id=4014646 That's very polished, visually or at least typographically, which might not please everyone. But the idea of "proof by…
Previously: A real nice similar project using Coq: https://news.ycombinator.com/item?id=4014646 That's very polished, visually or at least typographically, which might not please everyone. But the idea of "proof by…