Skip to content

Add proof references - #319

Open
ScriptRaccoon wants to merge 3 commits into
mainfrom
proof-references
Open

Add proof references#319
ScriptRaccoon wants to merge 3 commits into
mainfrom
proof-references

explain the proof that Grp is Malcev

fdbfed4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar