Ecosyste.ms: Issues

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

GitHub / objectionary/proof issues and pull requests

#51 - Update toolchain

Pull Request - State: closed - Opened by eyihluyc 2 months ago - 3 comments

#51 - Update toolchain

Pull Request - State: closed - Opened by eyihluyc 2 months ago - 3 comments

#50 - 49 Fix broken links

Pull Request - State: closed - Opened by Anatolay 3 months ago - 2 comments

#50 - 49 Fix broken links

Pull Request - State: closed - Opened by Anatolay 3 months ago - 2 comments

#49 - Fix broken links in the "Formal Confluence for φ-Calculus in Lean 4" paper

Issue - State: closed - Opened by deemp 3 months ago - 3 comments

#49 - Fix broken links in the "Formal Confluence for φ-Calculus in Lean 4" paper

Issue - State: closed - Opened by deemp 3 months ago - 3 comments

#48 - The site is not accessible by the link in the About section

Issue - State: open - Opened by deemp 3 months ago - 3 comments

#48 - The site is not accessible by the link in the About section

Issue - State: open - Opened by deemp 3 months ago - 3 comments

#47 - Extended phi-calculus

Pull Request - State: closed - Opened by Anatolay 3 months ago - 2 comments

#47 - Extended phi-calculus

Pull Request - State: closed - Opened by Anatolay 3 months ago - 2 comments

#46 - Z-property

Pull Request - State: closed - Opened by eyihluyc 3 months ago - 2 comments

#46 - Z-property

Pull Request - State: closed - Opened by eyihluyc 3 months ago - 2 comments

#45 - Update online documentation

Pull Request - State: closed - Opened by Anatolay 3 months ago - 3 comments

#45 - Update online documentation

Pull Request - State: closed - Opened by Anatolay 3 months ago - 3 comments

#44 - Update lean toolchain

Pull Request - State: closed - Opened by Anatolay 3 months ago - 2 comments

#44 - Update lean toolchain

Pull Request - State: closed - Opened by Anatolay 3 months ago - 2 comments

#43 - Split Calculus.lean into separate files

Pull Request - State: closed - Opened by Anatolay 5 months ago - 1 comment

#43 - Split Calculus.lean into separate files

Pull Request - State: closed - Opened by Anatolay 5 months ago - 1 comment

#42 - [report] 31.05.2024

Issue - State: closed - Opened by deemp 6 months ago - 1 comment

#42 - [report] 31.05.2024

Issue - State: closed - Opened by deemp 6 months ago - 1 comment

#41 - [report] 02.08.2024

Issue - State: closed - Opened by deemp 6 months ago

#41 - [report] 02.08.2024

Issue - State: closed - Opened by deemp 6 months ago

#40 - [report] 26.07.2024

Issue - State: closed - Opened by deemp 6 months ago

#39 - [report] 19.07.2024

Issue - State: closed - Opened by deemp 6 months ago

#38 - [report] 12.07.2024

Issue - State: closed - Opened by deemp 6 months ago

#37 - [report] 05.07.2024

Issue - State: closed - Opened by deemp 6 months ago

#36 - [report] 28.06.2024

Issue - State: closed - Opened by deemp 6 months ago

#35 - [report] 21.06.2024

Issue - State: closed - Opened by deemp 6 months ago - 1 comment

#34 - [report] 14.06.2024

Issue - State: closed - Opened by deemp 6 months ago

#33 - [report] 07.06.2024

Issue - State: closed - Opened by deemp 6 months ago - 1 comment

#32 - Add references to Fiore's paper

Pull Request - State: closed - Opened by Anatolay 6 months ago

#31 - Update toolchain

Pull Request - State: closed - Opened by eyihluyc 7 months ago

#30 - Write a paper for POPL

Issue - State: closed - Opened by deemp 8 months ago

#29 - Refactor ARS

Pull Request - State: closed - Opened by eyihluyc 8 months ago

#28 - 𝜌 as attribute and global 𝛷 extension

Pull Request - State: open - Opened by eyihluyc 8 months ago

#26 - Add linters

Pull Request - State: closed - Opened by eyihluyc 9 months ago

#25 - Update to Lean v4.6.0

Pull Request - State: closed - Opened by eyihluyc 9 months ago

#24 - Formalize confluence for Yegor's rules

Issue - State: open - Opened by deemp 9 months ago

#23 - Write a short paper for ITP 2024

Issue - State: closed - Opened by deemp 9 months ago

#22 - Add references to the paper to the documentation

Pull Request - State: closed - Opened by eyihluyc 9 months ago

#21 - Fix termination issues

Pull Request - State: closed - Opened by eyihluyc 10 months ago

#20 - Refactor

Pull Request - State: closed - Opened by eyihluyc 10 months ago

#19 - Complete Substitution lemma

Pull Request - State: closed - Opened by eyihluyc 10 months ago - 1 comment

#18 - Prepare a presentation

Issue - State: closed - Opened by deemp 10 months ago - 1 comment

#17 - Confluence of parallel reduce

Pull Request - State: closed - Opened by Anatolay 10 months ago - 1 comment

#16 - Clean up and document KS22 formalization

Issue - State: open - Opened by fizruk 10 months ago

#15 - Fix termination proofs

Issue - State: open - Opened by fizruk 10 months ago

#14 - Complete formalization of confluence

Issue - State: closed - Opened by fizruk 10 months ago - 1 comment

#13 - Add references to paper definitions/lemmas

Issue - State: open - Opened by fizruk 10 months ago

#12 - Fix and complete the substitution lemma

Issue - State: closed - Opened by fizruk 10 months ago

#10 - Add regular and parallel reductions and transitions between them

Pull Request - State: closed - Opened by Anatolay 10 months ago

#9 - Describe a generalized prover

Issue - State: open - Opened by deemp 10 months ago

#8 - Update actions/cache action to v4

Pull Request - State: closed - Opened by renovate[bot] 10 months ago - 3 comments

#7 - Create milestones

Issue - State: closed - Opened by deemp 10 months ago - 1 comment

#6 - Document an example of lack of confluence

Issue - State: open - Opened by deemp 10 months ago

#5 - Dependency Dashboard

Issue - State: open - Opened by renovate[bot] 11 months ago

#4 - Update actions/checkout action to v4

Pull Request - State: closed - Opened by renovate[bot] 11 months ago - 3 comments

#3 - Fix: Publish docs on master (was main)

Pull Request - State: closed - Opened by fizruk 11 months ago

#2 - Configure Renovate

Pull Request - State: closed - Opened by renovate[bot] 11 months ago - 3 comments

#1 - Initialize Lean project

Pull Request - State: closed - Opened by eyihluyc 11 months ago - 1 comment