Skip to main content

Browse the archive

Revision 8cfa32bcc7b5a837876cf69e62c8f5b08ca1dce3 authored by Alley Stoughton on 29 March 2021, 13:09:27 UTC, committed by Pierre-Yves Strub on 03 March 2022, 09:50:40 UTC 
An axiom-free formalization of well-founded relations, induction and recursion.
1 parent 6199997
History
File Mode Size
XDG.ml -rw-r--r-- 5.0 KB
XDG.mli -rw-r--r-- 1.7 KB
back to top