search

brando90 / coq-serapi-python

API for Coq using SerAPI
Other
0 stars 0 forks source link

Automatically Generating Python Classes for SerAPI/Coq s-expressions #5

Open brando90 opened 5 years ago

brando90 commented 5 years ago

right now the current code is handcoded by humans:

https://github.com/brando90/coq-serapi-python/blob/python-api/playground/pythonize_goals.py

we want to be able to make the python automatically from SerAPI since SerAPI knows everything about the structures/indices etc.