http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Special:RecentChangesLinked/Provable_formulas&feed=atom&target=Provable_formulasLLWiki - Changes related to "Provable formulas" [en]2024-03-28T15:28:31ZRelated changesMediaWiki 1.19.20+dfsg-0+deb7u3