Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for mathematics type theory
mathematics
x
type-theory
x
8 search results found
Martin Lof
⭐
670
papers of Per Martin Löf
Hott Uf Agda Lecture Notes
⭐
204
Lecture notes on univalent foundations of mathematics with Agda
Hott Intro
⭐
169
An introductory course to Homotopy Type Theory
Path_semantics
⭐
156
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Foundational Knowledge For Programmers
⭐
112
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Agda
⭐
92
Agda formalisation of the Introduction to Homotopy Type Theory
Reed Thesis
⭐
13
My undergradate thesis on coinductive types in univalent type theory
Prooftoys
⭐
9
Interactive, web-based visual math assistant
Math
⭐
5
Formalization of Mathematics using Type Theory of Agda Programming Language
Related Searches
Javascript Mathematics (1,108)
Latex Mathematics (530)
Tex Mathematics (471)
Algorithms Mathematics (199)
Book Mathematics (144)
Programming Mathematics (100)
Types Type Theory (84)
Course Mathematics (73)
Rust Mathematics (46)
Agda Type Theory (43)
1-8 of 8 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.