Skip to content

Resolve "allow "..." to denote missing cases in proof by case analysis"

waldmann requested to merge 50-allow-to-denote-missing-cases-in-proof-by-case-analysis into master

Closes #50 (closed)

Edited by waldmann

Merge request reports