About
Papers
Code
Exhibit
Literature
Credit
from Imre Lakatos: Proofs and Refutations, The Logic of Mathematical Disovery