Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hazardouspeach/coq_serapy issues and pull requests

#12 - Skip warning messages when running vernacular queries

Pull Request - State: open - Opened by sakekasi about 1 year ago - 4 comments

#11 - Debugging `CoqExn` with verbosity

Issue - State: open - Opened by mizlan about 1 year ago - 1 comment

#10 - Gracefully handle errors in `queryVernac` on older versions of coq

Pull Request - State: closed - Opened by sakekasi about 1 year ago

#6 - ignore build files and fix example.py

Pull Request - State: closed - Opened by sakekasi over 1 year ago

#5 - How to manage external dependencies when going through a real coq project?

Issue - State: closed - Opened by brando90 over 2 years ago - 1 comment

#4 - Error running example.py as is?

Issue - State: open - Opened by brando90 over 2 years ago - 3 comments

#3 - citation

Issue - State: closed - Opened by brando90 over 2 years ago

#2 - What provers (proof search) use this Coq_Serapy Env/Gym?

Issue - State: closed - Opened by brando90 over 2 years ago - 2 comments

#1 - Better type for SerapiContext

Pull Request - State: closed - Opened by jsarracino almost 3 years ago