Volume: Vol-3717 PAAR+SC-Square 2024 | Year: 2024

Paper: « paper2 | paper3 | paper4 »

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

• Adam Dingle dblp

57-73 PDF