On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:
Last revised on November 11, 2022 at 08:55:38. See the history of this page for a list of all contributions to it.