Home
Projects
Resources
Alternatives
Blog
Sign In
Teenytt
Save
A Teeny Type Theory
Overview
Reviews
Resources
Stars
26
Open Issues
1
Last Commit
1 year ago
Repository
TOTBWF/teenytt
Tags
Dependent Types
Elaboration
Normalization By Evaluation
Proof Assistant
Open Source Agenda Badge
<a href="https://www.opensourceagenda.com/projects/teenytt"><img src="https://www.opensourceagenda.com/projects/teenytt/reviews/badge.svg" alt="Open Source Agenda"></a>
Submit Review
Review Your Favorite Project
Submit Resource
Articles, Courses, Videos
Submit Article
Submit a post to our blog
From the blog
Dec 11, 2022
How to Choose Which Programming Language to Learn First?
From the blog
Dec 11, 2022
How to Choose Which Programming Language to Learn First?
Home
Projects
Resources
Alternatives
Blog
Sign In
Sign In to OSA
I agree with
Terms of Service
and
Privacy Policy
Sign In with Github
