Login / Signup

Natural Language Specifications in Proof Assistants.

Colin S. GordonSergey Matskevich
Published in: CoRR (2022)
Keyphrases