Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/lane-core below:

Website Navigation

• Overview
• Repositories 44
• Projects 0
• Packages 0
• Stars 864

lane-core (lane) · GitHub

formal verification, (homotopy) type theory, and categorical nonsense

·

• san francisco
• Mastodon @lne@social.praxis.nyc

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

More

• Overview
• Repositories
• Projects
• Packages
• Stars

1. core core Public

   Forked from cubical-mini/core

   Agda

2. kitcat kitcat Public

   Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda

   Agda 12

3. TypeTopology TypeTopology Public

   Forked from martinescardo/TypeTopology

   Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

   Agda 1

Something went wrong, please refresh the page to try again.

If the problem persists, check the

or

.

There was an error while loading. Please reload this page.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4