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 |