OurBigBook
About
$
Donate
Sign in
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
QED manifesto
Index
Mathematics
Fields of mathematics
Applied mathematics
Theoretical computer science
Formal methods
Like
(0)
1 By others
on same topic
0 Discussions
1970-01-01
See my version
Ancestors
(6)
Formal methods
Theoretical computer science
Applied mathematics
Fields of mathematics
Mathematics
Index
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(1)
0
QED manifesto
by
Ciro Santilli
34
Updated
2024-11-19
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.
See all articles in the same topic
Create my own version