brando90 coq-serapi-python issues - Githubissues

brando90 / coq-serapi-python

API for Coq using SerAPI

Other

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Issue parsing s-expression from SerAPI

#8 brando90 closed 5 years ago
9
AI agent/mathematician design discussion

#7 brando90 opened 5 years ago
3
Visualization of AST Tree for Coq terms

#6 brando90 opened 5 years ago
1
Automatically Generating Python Classes for SerAPI/Coq s-expressions

#5 brando90 opened 5 years ago
0
Building testing for Coq-API-Library

#4 brando90 opened 5 years ago
26
Discussion of Reinforcement Learning (RL) environment using Python-Coq API

#3 brando90 opened 5 years ago
30
Discussion of Python-API design discussions

#2 brando90 opened 5 years ago
46
Reimplement Gamepad in SerAPI's python Coq API

#1 brando90 opened 5 years ago
9