GitHub - artagnon/bonak: 🧊 An indexed construction of semi-simplicial and semi-cubical types - discu.eu

Lobsters

bonak: an iterated Grothendieck construction of semi-cubical types https://github.com/artagnon/bonak 8 comments 13/3/2022 formalmethods , math , show

Linking pages

Console #105 -- markdoc, twine, and clayoven https://console.substack.com/p/console-105?r=3cbez&s=w 1 comment
Console #105 -- markdoc, twine, and clayoven https://console.substack.com/p/console-105 0 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - artagnon/bonak: 🧊 An indexed construction of semi-simplicial and semi-cubical types

See how to search.

Submit link to: