Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hwayne/lets-prove-leftpad issues and pull requests
#57 - tlaps (no temporal logic)
Pull Request -
State: open - Opened by jskri 6 days ago
#57 - tlaps (no temporal logic)
Pull Request -
State: open - Opened by jskri 6 days ago
#56 - Lean 4 port
Pull Request -
State: closed - Opened by gabriel-fallen 10 months ago
#56 - Lean 4 port
Pull Request -
State: closed - Opened by gabriel-fallen 10 months ago
#55 - trivial typo fixes
Pull Request -
State: closed - Opened by vthriller 12 months ago
#55 - trivial typo fixes
Pull Request -
State: closed - Opened by vthriller 12 months ago
#54 - Rust type-level proof, sort-of
Pull Request -
State: closed - Opened by JohnDowson about 1 year ago
- 4 comments
#54 - Rust type-level proof, sort-of
Pull Request -
State: closed - Opened by JohnDowson about 1 year ago
- 4 comments
#53 - Add Metamath
Pull Request -
State: closed - Opened by tirix over 1 year ago
- 4 comments
#53 - Add Metamath
Pull Request -
State: closed - Opened by tirix over 1 year ago
- 4 comments
#52 - Add Prolog
Pull Request -
State: closed - Opened by aarroyoc almost 2 years ago
- 5 comments
#52 - Add Prolog
Pull Request -
State: closed - Opened by aarroyoc almost 2 years ago
- 5 comments
#51 - Add z3py version
Pull Request -
State: closed - Opened by alperaltuntas almost 2 years ago
- 1 comment
#51 - Add z3py version
Pull Request -
State: closed - Opened by alperaltuntas almost 2 years ago
- 1 comment
#50 - Cryptol Version
Pull Request -
State: closed - Opened by genos almost 2 years ago
- 2 comments
#50 - Cryptol Version
Pull Request -
State: closed - Opened by genos almost 2 years ago
- 2 comments
#49 - Cryptol Version?
Issue -
State: closed - Opened by genos almost 2 years ago
- 2 comments
#49 - Cryptol Version?
Issue -
State: closed - Opened by genos almost 2 years ago
- 2 comments
#48 - add hol-light version
Pull Request -
State: closed - Opened by mpu almost 2 years ago
- 3 comments
#48 - add hol-light version
Pull Request -
State: closed - Opened by mpu almost 2 years ago
- 3 comments
#47 - Lean Proof Link Doesn't Work
Issue -
State: open - Opened by hwayne about 2 years ago
#47 - Lean Proof Link Doesn't Work
Issue -
State: open - Opened by hwayne about 2 years ago
#46 - Add a rust example
Pull Request -
State: closed - Opened by suhr over 2 years ago
- 2 comments
#46 - Add a rust example
Pull Request -
State: closed - Opened by suhr over 2 years ago
- 2 comments
#45 - Write an explainer about what this project is about
Issue -
State: closed - Opened by waldyrious over 2 years ago
- 1 comment
#45 - Write an explainer about what this project is about
Issue -
State: closed - Opened by waldyrious over 2 years ago
- 1 comment
#44 - Rust example
Issue -
State: closed - Opened by suhr over 2 years ago
- 3 comments
#44 - Rust example
Issue -
State: closed - Opened by suhr over 2 years ago
- 3 comments
#43 - Add Rust
Pull Request -
State: closed - Opened by dhouck over 2 years ago
- 4 comments
#42 - Add B
Pull Request -
State: closed - Opened by 17451k over 2 years ago
- 1 comment
#42 - Add B
Pull Request -
State: closed - Opened by 17451k over 2 years ago
- 1 comment
#41 - README: add link to provide context to the layman
Pull Request -
State: closed - Opened by waldyrious almost 3 years ago
- 2 comments
#41 - README: add link to provide context to the layman
Pull Request -
State: closed - Opened by waldyrious almost 3 years ago
- 2 comments
#40 - Update link to Dafny
Pull Request -
State: closed - Opened by brandonbloom almost 3 years ago
- 1 comment
#40 - Update link to Dafny
Pull Request -
State: closed - Opened by brandonbloom almost 3 years ago
- 1 comment
#39 - Add summary statistics about different proofs
Issue -
State: open - Opened by solna86 about 3 years ago
#39 - Add summary statistics about different proofs
Issue -
State: open - Opened by solna86 about 3 years ago
#38 - Add Python implementation
Pull Request -
State: closed - Opened by tmcb over 3 years ago
- 11 comments
#38 - Add Python implementation
Pull Request -
State: closed - Opened by tmcb over 3 years ago
- 11 comments
#37 - List of provers we're currently missing
Issue -
State: closed - Opened by hwayne over 3 years ago
#37 - List of provers we're currently missing
Issue -
State: closed - Opened by hwayne over 3 years ago
#36 - Add Dafny functional
Pull Request -
State: closed - Opened by arsalan0c over 3 years ago
- 1 comment
#36 - Add Dafny functional
Pull Request -
State: closed - Opened by arsalan0c over 3 years ago
- 1 comment
#35 - Add Maude
Pull Request -
State: closed - Opened by ReedOei over 4 years ago
- 2 comments
#35 - Add Maude
Pull Request -
State: closed - Opened by ReedOei over 4 years ago
- 2 comments
#34 - -builtin has been renamed to -instantiate
Pull Request -
State: closed - Opened by Tjoppen over 4 years ago
#34 - -builtin has been renamed to -instantiate
Pull Request -
State: closed - Opened by Tjoppen over 4 years ago
#33 - Add Frama-C example
Pull Request -
State: closed - Opened by Tjoppen over 4 years ago
- 2 comments
#33 - Add Frama-C example
Pull Request -
State: closed - Opened by Tjoppen over 4 years ago
- 2 comments
#32 - Simplify proofs and update for TLAPS 1.4.5 release (still accepted by 1.4.3)
Pull Request -
State: closed - Opened by lemmy over 4 years ago
- 1 comment
#32 - Simplify proofs and update for TLAPS 1.4.5 release (still accepted by 1.4.3)
Pull Request -
State: closed - Opened by lemmy over 4 years ago
- 1 comment
#31 - Fix typo
Pull Request -
State: closed - Opened by louy2 over 4 years ago
#31 - Fix typo
Pull Request -
State: closed - Opened by louy2 over 4 years ago
#30 - Add Prolog
Pull Request -
State: closed - Opened by ReedOei over 4 years ago
- 4 comments
#30 - Add Prolog
Pull Request -
State: closed - Opened by ReedOei over 4 years ago
- 4 comments
#29 - Add Lean
Pull Request -
State: closed - Opened by louy2 over 4 years ago
- 1 comment
#29 - Add Lean
Pull Request -
State: closed - Opened by louy2 over 4 years ago
- 1 comment
#28 - Revert "Let's prove Python!"
Pull Request -
State: closed - Opened by hwayne over 4 years ago
- 1 comment
#28 - Revert "Let's prove Python!"
Pull Request -
State: closed - Opened by hwayne over 4 years ago
- 1 comment
#27 - Clarify that CrossHair isn't a real verification tool.
Pull Request -
State: closed - Opened by pschanely over 4 years ago
- 1 comment
#26 - Let's prove Python!
Pull Request -
State: closed - Opened by Zac-HD over 4 years ago
- 5 comments
#26 - Let's prove Python!
Pull Request -
State: closed - Opened by Zac-HD over 4 years ago
- 5 comments
#25 - Add ACL2 version of leftpad
Pull Request -
State: closed - Opened by kini over 4 years ago
- 2 comments
#25 - Add ACL2 version of leftpad
Pull Request -
State: closed - Opened by kini over 4 years ago
- 2 comments
#24 - Add SMT-LIB
Pull Request -
State: closed - Opened by will62794 over 4 years ago
- 3 comments
#24 - Add SMT-LIB
Pull Request -
State: closed - Opened by will62794 over 4 years ago
- 3 comments
#23 - Fix typo (2)
Pull Request -
State: closed - Opened by Wilfred almost 5 years ago
#23 - Fix typo (2)
Pull Request -
State: closed - Opened by Wilfred almost 5 years ago
#22 - Fix typo
Pull Request -
State: closed - Opened by Wilfred almost 5 years ago
#22 - Fix typo
Pull Request -
State: closed - Opened by Wilfred almost 5 years ago
#21 - Add SystemVerilog version
Pull Request -
State: closed - Opened by 07151129 almost 5 years ago
- 1 comment
#21 - Add SystemVerilog version
Pull Request -
State: closed - Opened by 07151129 almost 5 years ago
- 1 comment
#20 - Leftpad using Coq + SSReflect/Mathcomp
Pull Request -
State: closed - Opened by anton-trunov about 5 years ago
- 2 comments
#20 - Leftpad using Coq + SSReflect/Mathcomp
Pull Request -
State: closed - Opened by anton-trunov about 5 years ago
- 2 comments
#19 - Clojure implementation
Pull Request -
State: closed - Opened by bmaddy over 5 years ago
- 4 comments
#19 - Clojure implementation
Pull Request -
State: closed - Opened by bmaddy over 5 years ago
- 4 comments
#18 - Add Java
Pull Request -
State: closed - Opened by pron over 5 years ago
- 3 comments
#18 - Add Java
Pull Request -
State: closed - Opened by pron over 5 years ago
- 3 comments
#17 - add fstar variant
Pull Request -
State: closed - Opened by graydon over 5 years ago
- 1 comment
#17 - add fstar variant
Pull Request -
State: closed - Opened by graydon over 5 years ago
- 1 comment
#16 - Fix dead link on isabelle codegen
Pull Request -
State: closed - Opened by hako over 5 years ago
#16 - Fix dead link on isabelle codegen
Pull Request -
State: closed - Opened by hako over 5 years ago
#15 - TLAPS solution
Pull Request -
State: closed - Opened by lorin almost 6 years ago
- 3 comments
#15 - TLAPS solution
Pull Request -
State: closed - Opened by lorin almost 6 years ago
- 3 comments
#14 - HOL4 solution
Pull Request -
State: closed - Opened by AndreasLoow over 6 years ago
- 1 comment
#14 - HOL4 solution
Pull Request -
State: closed - Opened by AndreasLoow over 6 years ago
- 1 comment
#13 - ATS example
Issue -
State: open - Opened by NOTtheMessiah over 6 years ago
- 1 comment
#13 - ATS example
Issue -
State: open - Opened by NOTtheMessiah over 6 years ago
- 1 comment
#12 - [ new ] agda sol in correct-by-construction style
Pull Request -
State: closed - Opened by gallais over 6 years ago
- 5 comments
#12 - [ new ] agda sol in correct-by-construction style
Pull Request -
State: closed - Opened by gallais over 6 years ago
- 5 comments
#11 - fix spelling
Pull Request -
State: closed - Opened by shapr over 6 years ago
- 1 comment
#11 - fix spelling
Pull Request -
State: closed - Opened by shapr over 6 years ago
- 1 comment
#10 - Merge a Coq solution.
Pull Request -
State: closed - Opened by ezrakilty over 6 years ago
- 4 comments
#10 - Merge a Coq solution.
Pull Request -
State: closed - Opened by ezrakilty over 6 years ago
- 4 comments
#9 - Add Why3
Pull Request -
State: closed - Opened by valpackett over 6 years ago
- 1 comment
#9 - Add Why3
Pull Request -
State: closed - Opened by valpackett over 6 years ago
- 1 comment
#8 - Lean solution: WIP
Pull Request -
State: closed - Opened by cipher1024 over 6 years ago
- 9 comments
#8 - Lean solution: WIP
Pull Request -
State: closed - Opened by cipher1024 over 6 years ago
- 9 comments
#7 - Lean solutions
Issue -
State: closed - Opened by bandali0 over 6 years ago
- 2 comments
#6 - Leftpad in SPARK
Pull Request -
State: closed - Opened by kanigsson over 6 years ago
- 2 comments