媒体libraryRocq Prover

Coq-HoTT

Name: Coq-HoTT
Rating: 5 (1389 reviews)
Author: HoTT

A Coq library for Homotopy Type Theory

1,389 stars202 forks135 issuesNOASSERTION更新于 2026/6/6

homotopy-type-theorytype-theoryunivalent-foundations

暂无详细内容

同类推荐

Master the command line, in one page

A golang ebook intro how to build a web with golang

Android/iOS video player based on FFmpeg n3.4, with MediaCodec, VideoToolbox support.

500 Lines or Less

This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

Patched fonts for Powerline users.