Mentions légales du service

Skip to content

[WIP] Automatically introduce a `val ghost function` for each `lemma`

Mario Pereira requested to merge 493_turn_lemma_into_function into master

Closes #493 (closed)

Merge request reports