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.
1 to 1 of 1
added pointer to: * [[Thomas Lamiaux]]: *Computing Cohomology Rings in Cubical Agda*, [talk at](CQTS#LamiauxApr2024) *[Running HoTT 2024](CQTS#RunningHoTT2024)*, [[CQTS]]@NYUAD (April 2024) [video:[kt](https://cdnapisec.kaltura.com/p/1674401/sp/167440100/embedIframeJs/uiconf_id/23435151/partner_id/1674401?iframeembed=true&playerId=kaltura_player&entry_id=1_2bxmtp75)] <a href="https://ncatlab.org/nlab/revision/diff/cohomology+ring/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/cohomology+ring/8">v8</a>, <a href="https://ncatlab.org/nlab/show/cohomology+ring">current</a>
added pointer to:
diff, v8, current