Skip to content
master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 

README

This is a paper of mine which is in a highly unfinished and chaotic state but contains useful and coherent text segments. 

About

Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes

Resources

Releases

No releases published

Packages

No packages published
You can’t perform that action at this time.