Skip to content

Magmatype Proof assistant test: structure identity principle for magmas #165#172

Open
PradCoder wants to merge 22 commits into
sinhp:masterfrom
PradCoder:magmatype
Open

Magmatype Proof assistant test: structure identity principle for magmas #165#172
PradCoder wants to merge 22 commits into
sinhp:masterfrom
PradCoder:magmatype

Merge branch 'sinhp:master' into magmatype

503250e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning

The logs for this run have expired and are no longer available.