SkillAgentSearch skills...

Dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

Install / Use

/learn @jonsterling/Dreamtt
About this skill

Quality Score

0/100

Supported Platforms

Universal

README

dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

View on GitHub
GitHub Stars86
CategoryEducation
Updated2mo ago
Forks3

Languages

OCaml

Security Score

100/100

Audited on Jan 14, 2026

No findings