Skip to content

Add `proved_elsewhere` axiom

2245fd1
Select commit
Loading
Failed to load commit list.
Merged

Add proved_elsewhere axiom #176

Add `proved_elsewhere` axiom
2245fd1
Select commit
Loading
Failed to load commit list.