Ecosyste.ms: Issues

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

GitHub / stepchowfun/proofs issues and pull requests

#679 - Install `pkg-config`, which is apparently needed to install Coq now

Pull Request - State: closed - Opened by stepchowfun about 2 months ago

#677 - Update the toastfile

Pull Request - State: closed - Opened by stepchowfun 5 months ago

#676 - Update GitHub Actions to use non-deprecated versions

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

#675 - Add a Tagref reference to the code of conduct file

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

#674 - Add some file and directory references

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

#673 - Update the Ubuntu version in the toastfile to 24.04 LTS

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

#672 - Use a lowercase name for a thing that is not a type

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

#671 - Remove some unnecessary parentheses

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

#670 - Clarify the issue with eta contraction

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

#669 - Wordsmith the admissibility graphs README

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

#667 - Fix a comment in the eta equivalence development

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

#666 - Make the proofs compatible with Coq 8.19.1

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

#665 - coq 8.19.1 can't find `Coq.Arith.Gt` on Arch

Issue - State: closed - Opened by sp1ff 8 months ago - 1 comment

#664 - Demonstrate eta conversion for records

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

#661 - Fix a typo in a comment

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

#660 - Add a discussion about eta equivalence

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

#659 - Update the opam check to address a warning in the logs

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

#658 - Use `set -x` for shell scripts

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

#657 - Update the Ubuntu version in the CI configuration to 22.04 LTS

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

#655 - Define encapsulation and sandboxing

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

#654 - Rename one of the tutorial lessons

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

#653 - Fix the case of an identifier

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

#652 - Prove some lemmas about admissibility graphs

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

#651 - Remove a useless theorem

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

#650 - Wordsmith the admissibility graph README

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

#649 - Reorder a few theorems

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

#648 - Formulate and prove the modularity theorem

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

#647 - Wordsmith the admissibility graph README

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

#646 - Reformulate modularity

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

#645 - Add some missing punctuation

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

#644 - Prove some modularity theorems

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

#643 - Prove some admissibility theorems

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

#642 - Update Coq to v8.18.0

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

#641 - Fix a typo in a comment

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

#640 - Fix some formatting in the admissibility graphs README

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

#639 - Formalize modularity

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

#638 - Refactor the admissibility graphs development

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

#637 - Wordsmith the admissibility graph README

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

#636 - Wordsmith the admissibility graph README

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

#635 - Wordsmith the admissibility graph README

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

#634 - Wordsmith the admissibility graph README

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

#633 - Wordsmith the admissibility graph README

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

#632 - Formalize the concepts of `protects` and `contains`

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

#631 - Wordsmith the admissibility graph README

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

#630 - Fix a typo in a comment

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

#629 - Wordsmith the admissibility graph README

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

#628 - Define the transpose of an admissibility graph

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

#627 - Generalize the encapsulation and sandboxing theorems

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

#626 - Wordsmith the admissibility graph README

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

#624 - Enable reading from the remote Toast cache for pull requests

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

#622 - Formalize the concept of a wooden admissibility graph

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

#621 - Fix the statement of the admissibility reflection theorem

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

#620 - Make a sentence more clear in the admissibility graphs README

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

#619 - Fix a bug in the CI workflow

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

#618 - Fix some indentation in the CI configuration

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

#616 - Fix a couple of typos in the tutorial

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

#615 - Update the copyright year

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

#614 - Fix the capitalization of a word in some comments

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

#613 - Wordsmith a couple of READMEs

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

#612 - Fix the case of some identifiers in the CRDT development

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

#611 - Switch the case convention

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

#610 - Update the import linting configuration

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

#609 - Rewrite some comments for clarity

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

#607 - Weaken the commutativity requirement for operation-based CRDTs

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

#606 - Demonstrate that the two styles of CRDTs are equivalent

Pull Request - State: open - Opened by stepchowfun 11 months ago

#605 - Rename a theorem

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

#604 - Refactor the formulation of operation-based CRDTs

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

#603 - Rename some things in the formalization of operation-based CRDTs

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

#602 - Refactor the formulation of state-based CRDTs

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

#601 - Reorder some adjectives

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

#600 - Rename a variable for consistency

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

#599 - Formalize operation-based CRDTs

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

#598 - Refactor the CRDT formalization

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

#597 - Refactor the CRDT formalization

Pull Request - State: closed - Opened by stepchowfun 12 months ago

#596 - Flesh out the example CRDT

Pull Request - State: closed - Opened by stepchowfun 12 months ago

#595 - Make a comment read more naturally

Pull Request - State: closed - Opened by stepchowfun 12 months ago

#594 - Add an example of a simple CRDT and prove that it is a CRDT

Pull Request - State: closed - Opened by stepchowfun 12 months ago

#593 - Make the CRDT formulation more closely resemble the literature

Pull Request - State: closed - Opened by stepchowfun 12 months ago

#591 - Use `[` and `]` instead of `{` and `}` for implicit arguments

Pull Request - State: closed - Opened by stepchowfun 12 months ago

#590 - Update the copyright year

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#589 - Switch the Docker login GitHub action

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#588 - Demonstrate that mutual induction can be emulated with an index

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#587 - Use type inference to simplify a definition

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#586 - Make the definition of category more modular

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#585 - Update the category theory development

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#583 - Update Coq to v8.17.1

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#582 - Wordsmith a comment

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#581 - Wordsmith a comment

Pull Request - State: closed - Opened by stepchowfun about 1 year ago

#580 - Fix typo

Pull Request - State: closed - Opened by spacemiqote over 1 year ago - 2 comments