leastfixedpoint

Archived tweet #10717 from the @leastfixedpoint Twitter Archive
@noelwelsh (CIC is the underpinning for Coq, in case you hadn't gathered that already)