https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: c0cdd0f8a863dd71eaade0d08bf90337e000a3ab authored by Benjamin Gregoire on 29 January 2023, 15:32:43 UTC
add usefull lemma
Tip revision: c0cdd0f
ecRelocate.mli
val sourceroot : string option

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