Ecosyste.ms: Issues

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

GitHub / deducteam/ekstrakto issues and pull requests

#12 - update README.md

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

#11 - Use library hierarchy of lambdapi-logics

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

#9 - Fix bugs and use opaque definitions

Pull Request - State: closed - Opened by elhaddadyacine over 3 years ago

#7 - Consider `conjecture` as negated `negated_conject`

Issue - State: open - Opened by elhaddadyacine almost 5 years ago

#6 - Use dune for compilation and installation

Issue - State: open - Opened by fblanqui about 5 years ago

#4 - Calls to Sys.getcwd()

Issue - State: open - Opened by fblanqui about 5 years ago

#3 - Remove .mli files ?

Issue - State: open - Opened by fblanqui about 5 years ago

#2 - Simplify generated Makefile

Issue - State: open - Opened by fblanqui about 5 years ago

#1 - Some fixes

Pull Request - State: closed - Opened by elhaddadyacine over 5 years ago