Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
starting something, to go along with third stable homotopy group of spheres
To add when the editing functionality is back:
Anders Mörtberg announces on the HoTT list (see here, a nice post) that proof of the first stem has now been formalized in “Cubical Agda”, via the thesis work of his student Axel Ljungström.
The thesis seems not to be available yet, but those who can extract information out of github pages are pointed to github.com/agda/cubical/blob/master/Cubical/Homotopy/Group/Pi4S3/Summary.agda
added pointer to:
1 to 3 of 3