LaTeX code for a paper on lean's type theory
TeX
171
21 commits
updated Aug 2, 2022
20 commits
1 commits
anton-trunov/coq-lecture-notes
Coq Lecture Notes (WIP)
56
jespercockx/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
135
dunhamsteve/newt
A toy dependent typed language.
50
kosmikus/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
107
jaalonso/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
94
haruki-nagami/Graduation-thesis
卒論研究
0
microsoft/DKI_LLM
This is a repository for DKI group concerning the LLM-related papers alongside with code.
41
awodey/CatLogNotes
Categorical Logic Notes
81
100.0%
