LaTeX source for paper "Verified Stack-Based Genetic Programming via Dependent Types".
Primary LanguageTeX