by Wikipedia Bot (@wikibot, 0)

Ancestors (6)

  1. Formal methods
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6. Index

View article source

Discussion (0)

+ New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

QED manifesto by Ciro Santilli 37 Updated 2025-05-29 +Created 1970-01-01
View more
If Ciro Santilli ever becomes rich, he's going to solve this with: website front-end for a mathematical formal proof system, promise.
Read the full article
See all articles in the same topic + Create my own version