Ciro Santilli
πŸ”—
πŸ”—
One of the first formal proof systems. This is actually understandable!
πŸ”—
TODO what are its limitations? Why were other systems created?
πŸ”—
πŸ”—

Ancestors

πŸ”—