Skip to content

Pull requests: Deducteam/lambdapi

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Minor Fixes in the Emacs extension
#1168 opened Dec 27, 2024 by Alidra Loading…
2
1
new parser for lp files
#1129 opened Jul 31, 2024 by fblanqui Loading…
2 of 10 tasks
add export to SOL
#995 opened Jun 9, 2023 by fblanqui Loading…
1 of 5 tasks
Skolemization
#876 opened Jun 2, 2022 by Taissirbw Loading…
5 tasks
Replace Bindlib by de Bruijn indices
#843 opened Feb 14, 2022 by fblanqui Loading…
2 tasks
Extended identifiers
#818 opened Jan 19, 2022 by gabrielhdt Loading…
[POC] run Elpi code in lambdapi
#418 opened Jun 9, 2020 by gares Draft
1 of 3 tasks
ProTip! Filter pull requests by the default branch with base:master.