https://wiki.haskell.org/api.php?hidebots=1&urlversion=1&days=7&limit=50&target=Specification_and_proof&action=feedrecentchanges&feedformat=atomHaskellWiki - Changes related to "Specification and proof" [en]2024-03-19T09:47:18ZRelated changesMediaWiki 1.35.5