Skip to content

Proto K, Script_ir_translator, uncomment and fix commented lemmas

Daniel Hilst requested to merge proto-k-script-ir-translator-fixes into master

Part of #289 (closed)

  • Fix or remove commented lemmas in Script_ir_translator
  • Add a page for Proto K simulations status (part 2)
Edited by Daniel Hilst

Merge request reports