Stars
14
results
for source starred repositories
written in TeX
Clear filter
Research on integrating datalog & lambda calculus via monotonicity types
HoTTEST Summer School materials
LaTeX Template for Mike Morrison's #betterposter
Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
Coq definitions and lemmas for verification of Casper
A much more powerful version of the reversible language Janus, built in Haskell