Skip to content

Pull requests: Deducteam/lambdapi

New pull request New
Clear current search query, filters, and sorts
14 Open 640 Closed
14 Open 640 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add the command lambdapi depend to compute dependencies quickly
#1212 opened Feb 28, 2025 by fblanqui Loading… updated Mar 3, 2025
6 tasks
Implementation of an algorithm for checking SR and injectivity
#200 opened Mar 25, 2019 by wujuihsuan2016 Loading… updated Feb 28, 2025
133
Reimplement conversion modulo AC
#1211 opened Feb 27, 2025 by fblanqui Loading… updated Feb 28, 2025
7 of 8 tasks
1
2
Update to pratter 5
#1196 opened Feb 12, 2025 by gabrielhdt Loading… updated Feb 21, 2025
5
Add export to Lean
#1197 opened Feb 12, 2025 by fblanqui • Draft updated Feb 20, 2025
2 of 3 tasks
new parser for lp files
#1129 opened Jul 31, 2024 by fblanqui Loading… updated Feb 11, 2025
2 of 10 tasks
Exports for the format TRS + small improvement to HRS export
#1028 opened Jan 19, 2024 by thiagofelicissimo Loading… updated Feb 6, 2024
5
add export to SOL
#995 opened Jun 9, 2023 by fblanqui Loading… updated Jun 12, 2023
1 of 5 tasks
[POC] run Elpi code in lambdapi
#418 opened Jun 9, 2020 by gares • Draft updated Jan 29, 2023
1 of 3 tasks
13
Skolemization
#876 opened Jun 2, 2022 by Taissirbw Loading… updated Jan 11, 2023
5 tasks
[pure] [lsp] Try to recover unit testing of pure interface
#403 opened May 20, 2020 by ejgallego Loading… updated Oct 18, 2022
2
Extended identifiers
#818 opened Jan 19, 2022 by gabrielhdt Loading… updated Feb 22, 2022
10
Term transformation helper function
#781 opened Dec 17, 2021 by gabrielhdt • Draft updated Jan 31, 2022
11
depgraph.sh generates the dependency graph of the project (#154)
#383 opened Apr 30, 2020 by Rehan-MALAK Loading… updated Jan 11, 2021
9
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.