hannelita
Follow
Starred repositories
10
results
for source starred repositories
written in TeX
Clear filter
Parallel Programming for FPGAs -- An open-source high-level synthesis book
Improved Lecture Notes in Computer Science (LNCS) template
Agda lecture notes for the Functional Programming course at TU Delft
An open bibliography of machine learning for formal proof papers
A small Coq library for collecting side conditions and deferring their proof
A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.
