Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / reilabs/proven-zk issues and pull requests
#24 - Updated gates
Pull Request -
State: closed - Opened by Eagle941 9 months ago
#23 - Gates equivalence
Pull Request -
State: closed - Opened by Eagle941 9 months ago
#22 - Clean up binary representations and merkle trees
Pull Request -
State: closed - Opened by kustosz 10 months ago
#21 - chore: refactoring `Hash.lean`
Pull Request -
State: closed - Opened by Eagle941 almost 1 year ago
#20 - chore: mathlib update to v4.2.0
Pull Request -
State: closed - Opened by Eagle941 about 1 year ago
- 1 comment
#19 - feat: New theorems
Pull Request -
State: closed - Opened by Eagle941 about 1 year ago
#18 - feat: new theorems
Pull Request -
State: closed - Opened by Eagle941 about 1 year ago
#17 - chore: Importing single mathlib modules instead of full library
Pull Request -
State: closed - Opened by Eagle941 about 1 year ago
#16 - [TASK] Update to Lean release v4
Issue -
State: closed - Opened by Eagle941 about 1 year ago
Labels: enhancement
#15 - fix: added timeout workflow
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#14 - chore: added comments and refactor
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#13 - logo light/dark mode
Pull Request -
State: closed - Opened by gswirski over 1 year ago
#12 - Refactoring theorems
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#11 - Prepare the repository for publication
Pull Request -
State: closed - Opened by iamrecursion over 1 year ago
Labels: documentation
#10 - chore: Added license
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#10 - chore: Added license
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#9 - feat: Added readme
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#9 - feat: Added readme
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#8 - add more helpers for vectors and binary reps
Pull Request -
State: closed - Opened by kustosz over 1 year ago
#8 - add more helpers for vectors and binary reps
Pull Request -
State: closed - Opened by kustosz over 1 year ago
#7 - Remove the getElem override
Pull Request -
State: closed - Opened by kustosz over 1 year ago
#7 - Remove the getElem override
Pull Request -
State: closed - Opened by kustosz over 1 year ago
#6 - fix: Removed wrong theorem same_root_same_proof
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#6 - fix: Removed wrong theorem same_root_same_proof
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#5 - More utils for hashes & aux types
Pull Request -
State: closed - Opened by kustosz over 1 year ago
- 1 comment
#5 - More utils for hashes & aux types
Pull Request -
State: closed - Opened by kustosz over 1 year ago
- 1 comment
#4 - Add utils for loops
Pull Request -
State: closed - Opened by kustosz over 1 year ago
- 1 comment
#4 - Add utils for loops
Pull Request -
State: closed - Opened by kustosz over 1 year ago
- 1 comment
#3 - feat: semaphore theorems
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#3 - feat: semaphore theorems
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#2 - Remove Vect & Setup CI
Pull Request -
State: closed - Opened by kustosz over 1 year ago
#2 - Remove Vect & Setup CI
Pull Request -
State: closed - Opened by kustosz over 1 year ago
#1 - feat: added gates
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago
#1 - feat: added gates
Pull Request -
State: closed - Opened by Eagle941 over 1 year ago