Giters

vedgar / LAP2021

Supporting materials for my talk at Logic and Applications 2021

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LAP2021

Supporting materials for my talk at Logic and Applications 2021

(Supported by Croatian Science Foundation, project #7459 CompStruct)

About

Supporting materials for my talk at Logic and Applications 2021

License:The Unlicense

Languages

Language:Coq 84.2%Language:Python 15.8%