lane-core

Pinned Repositories

• 1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda0000

• agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell0000

• core

  Language:Agda00

• dependent-library

  Library of the ##dependent distributed research support group

  Language:TeX1100

• kitcat

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

  Language:Agda20300

• papers

  Papers on Math, Proof Theory, and Theory of Computation

  10

• TypeTopology

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

  Language:Agda1000

• void-packages

  The Void source packages collection

  Language:Shell3001

lane-core's Repositories