Ecosyste.ms: Issues

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

GitHub / deducteam/libraries issues and pull requests

#4 - Add Miquel's encoding of Russell paradox in System U-

Pull Request - State: closed - Opened by rafoo about 4 years ago

#3 - Annotated lambda in rhs for lambdapi compatibility

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

#2 - The file sudoku_old

Issue - State: closed - Opened by GuillaumeGen almost 7 years ago
Labels: question

#1 - Normalisation of directory name

Issue - State: closed - Opened by GuillaumeGen almost 7 years ago
Labels: normalisation