Skip to content

Add perf test: proof irrelevance refutes proofs of different propositions - #261

Open
nomeata wants to merge 1 commit into
masterfrom
joachim/perf-irrelevance-refutes
Open

Add perf test: proof irrelevance refutes proofs of different propositions#261
nomeata wants to merge 1 commit into
masterfrom
joachim/perf-irrelevance-refutes

Add perf test: proof irrelevance refutes proofs of different proposit…

8a06743
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar