Coq Formalization of: An Anti-Locally-Nameless Approach to Formalizing Quantifiers

2021

Olivier Laurent

Keywords:

Programming language

Correction
Source
Cite
Save
Machine Reading By IdeaReader

0

References

0

Citations