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
Raw File
ecRelocate.mli 
val sourceroot : string option

module Sites : sig
  val theories : string list
end
back to top