research
∙
07/16/2021
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts
Formally reasoning about functional programs is supposed to be straightf...
share
research
∙
07/16/2021
Facilitating Meta-Theory Reasoning (Invited Paper)
Structural proof theory is praised for being a symbolic approach to reas...
research
∙
08/23/2019
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving
This volume of EPTCS contains the proceedings of the Sixth Workshop on P...
research
∙
04/15/2019
The ILLTP Library for Intuitionistic Linear Logic
Benchmarking automated theorem proving (ATP) systems using standardized ...
research
∙
04/15/2019
Formalization of Automated Trading Systems in a Concurrent Linear Framework
We present a declarative and modular specification of an automated tradi...
research
∙
07/03/2018