CoqPyt: Proof Navigation in Python in the Era of LLMs.
Pedro CarrottNuno SaavedraKyle ThompsonSorin LernerJoão F. FerreiraEmily FirstPublished in: CoRR (2024)
Keyphrases
- open source
- theorem prover
- programming language
- theorem proving
- development tools
- indoor environments
- scripting language
- linear logic
- obstacle avoidance
- navigation systems
- robot navigation
- graphical user interface
- geometry theorem proving
- computer vision
- automated theorem proving
- web navigation
- big data
- general purpose
- website
- e learning
- information systems