https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 2e6002432d846aa202990a8ea009f3e15ab93a7e authored by Cameron Low on 19 December 2022, 16:10:44 UTC
Dropped in rewrite equiv, showcases local lemma use.
Tip revision: 2e60024
ecRelocate.mli
val sourceroot : string option

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