There is no IGLU cabal! The former cabalists are trying to prove the correctness of a program that proves the correctness of proofs of other programs.
Shlomi Fish in Hackers-IL message No. 2607
("Proving the Correctness of a Proof")
| Author | Shlomi Fish |
| Work | Hackers-IL Message No. 2607 |
| Published | 2008-07-04 |