Vol-3716⫷ Vol-3717 ⫸Vol-3718
urn:nbn:de:0074-3717-0


Vol-3717/paper2⫷Vol-3717/paper3⫸Vol-3717/paper4
Adam Dingle

A Natural-Language Proof Assistant for Higher-Order Logic (Work in Progress)