Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Homotopy Type Theory Course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
Stars
214
License
No license specified
Open Issues
0
Most Recent Commit
3 years ago
Programming Language
TeX
Categories
Repo
Alternatives To Homotopy Type Theory Course
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Homotopy Type Theory Course214
3 years agoTeX
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
Hott Intro169
4 years agocc-by-4.0Agda
An introductory course to Homotopy Type Theory
Alternatives To Homotopy Type Theory Course
Select To Compare


Suggest An Alternative To homotopy-type-theory-course
Alternative Project Comparisons
Homotopy Type Theory Course vs Hott Intro
Popular Course Projects
50projects50days ⭐ 32,757
50+ mini web projects using HTML, CSS & JS
total releases 1latest release June 14, 2022most recent commit 5 months ago
Popular Type Theory Projects
Kind ⭐ 3,459
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 2 months agonpm kind-lang} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 5 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 8 months ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
University
Cookbook

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Tex
Course
Type Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.