Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / digama0/mm0 issues and pull requests
#100 - Bump node-forge from 1.2.1 to 1.3.0 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#100 - Bump node-forge from 1.2.1 to 1.3.0 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#99 - Bump minimist from 1.2.5 to 1.2.6 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies
#98 - Bump minimist from 1.2.5 to 1.2.6 in /vscode-mm0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#98 - Bump minimist from 1.2.5 to 1.2.6 in /vscode-mm0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#98 - Bump minimist from 1.2.5 to 1.2.6 in /vscode-mm0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#98 - Bump minimist from 1.2.5 to 1.2.6 in /vscode-mm0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#97 - Can't get conversion of ASCII symbols to Latex-like symbols
Issue -
State: closed - Opened by andrewlubrino over 2 years ago
- 5 comments
#97 - Can't get conversion of ASCII symbols to Latex-like symbols
Issue -
State: closed - Opened by andrewlubrino over 2 years ago
- 5 comments
#97 - Can't get conversion of ASCII symbols to Latex-like symbols
Issue -
State: closed - Opened by andrewlubrino over 2 years ago
- 5 comments
#97 - Can't get conversion of ASCII symbols to Latex-like symbols
Issue -
State: closed - Opened by andrewlubrino over 2 years ago
- 5 comments
#96 - improve tutorial
Pull Request -
State: closed - Opened by tlyu over 2 years ago
- 3 comments
#96 - improve tutorial
Pull Request -
State: closed - Opened by tlyu over 2 years ago
- 3 comments
#96 - improve tutorial
Pull Request -
State: closed - Opened by tlyu over 2 years ago
- 3 comments
#96 - improve tutorial
Pull Request -
State: closed - Opened by tlyu over 2 years ago
- 3 comments
#95 - describe do-stmt syntax more accurately
Pull Request -
State: closed - Opened by tlyu over 2 years ago
#95 - describe do-stmt syntax more accurately
Pull Request -
State: closed - Opened by tlyu over 2 years ago
#95 - describe do-stmt syntax more accurately
Pull Request -
State: closed - Opened by tlyu over 2 years ago
#95 - describe do-stmt syntax more accurately
Pull Request -
State: closed - Opened by tlyu over 2 years ago
#94 - fix tutorial instructions
Pull Request -
State: closed - Opened by tlyu over 2 years ago
#94 - fix tutorial instructions
Pull Request -
State: closed - Opened by tlyu over 2 years ago
#94 - fix tutorial instructions
Pull Request -
State: closed - Opened by tlyu over 2 years ago
#93 - Translation from MM to MM0 - Example with the formalisation in MM of Matching Logic
Issue -
State: closed - Opened by amelieled over 2 years ago
- 17 comments
#93 - Translation from MM to MM0 - Example with the formalisation in MM of Matching Logic
Issue -
State: closed - Opened by amelieled over 2 years ago
- 17 comments
#92 - Bump nth-check from 2.0.0 to 2.0.1 in /vscode-mm0
Pull Request -
State: closed - Opened by dependabot[bot] about 3 years ago
Labels: dependencies
#91 - Bump path-parse from 1.0.6 to 1.0.7 in /vscode-mm0
Pull Request -
State: closed - Opened by dependabot[bot] about 3 years ago
Labels: dependencies
#91 - Bump path-parse from 1.0.6 to 1.0.7 in /vscode-mm0
Pull Request -
State: closed - Opened by dependabot[bot] about 3 years ago
Labels: dependencies
#90 - mmb doc fix
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#90 - mmb doc fix
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#90 - mmb doc fix
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#89 - Undefined behaviour of mm0-c implementation
Issue -
State: closed - Opened by melg8 over 3 years ago
- 1 comment
#89 - Undefined behaviour of mm0-c implementation
Issue -
State: closed - Opened by melg8 over 3 years ago
- 1 comment
#89 - Undefined behaviour of mm0-c implementation
Issue -
State: closed - Opened by melg8 over 3 years ago
- 1 comment
#89 - Undefined behaviour of mm0-c implementation
Issue -
State: closed - Opened by melg8 over 3 years ago
- 1 comment
#88 - Fix segfaults in mm0-c implementations
Pull Request -
State: closed - Opened by melg8 over 3 years ago
- 4 comments
#88 - Fix segfaults in mm0-c implementations
Pull Request -
State: closed - Opened by melg8 over 3 years ago
- 4 comments
#87 - Bump ws from 6.2.1 to 6.2.2 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#87 - Bump ws from 6.2.1 to 6.2.2 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#87 - Bump ws from 6.2.1 to 6.2.2 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#87 - Bump ws from 6.2.1 to 6.2.2 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#86 - fix doc typo
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#86 - fix doc typo
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#86 - fix doc typo
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
#85 - Bump dns-packet from 1.3.1 to 1.3.4 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#85 - Bump dns-packet from 1.3.1 to 1.3.4 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#85 - Bump dns-packet from 1.3.1 to 1.3.4 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#85 - Bump dns-packet from 1.3.1 to 1.3.4 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#84 - Bump lodash from 4.17.20 to 4.17.21 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#84 - Bump lodash from 4.17.20 to 4.17.21 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#84 - Bump lodash from 4.17.20 to 4.17.21 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#84 - Bump lodash from 4.17.20 to 4.17.21 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#83 - Bump postcss from 8.1.13 to 8.2.14 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#83 - Bump postcss from 8.1.13 to 8.2.14 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#83 - Bump postcss from 8.1.13 to 8.2.14 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#83 - Bump postcss from 8.1.13 to 8.2.14 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#82 - Bump url-parse from 1.4.7 to 1.5.1 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#82 - Bump url-parse from 1.4.7 to 1.5.1 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#81 - Bump ssri from 6.0.1 to 6.0.2 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#81 - Bump ssri from 6.0.1 to 6.0.2 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#81 - Bump ssri from 6.0.1 to 6.0.2 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#81 - Bump ssri from 6.0.1 to 6.0.2 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#80 - Using SMT-prover to generate proof
Issue -
State: open - Opened by j123123 over 3 years ago
- 3 comments
#80 - Using SMT-prover to generate proof
Issue -
State: open - Opened by j123123 over 3 years ago
- 3 comments
#80 - Using SMT-prover to generate proof
Issue -
State: open - Opened by j123123 over 3 years ago
- 3 comments
#80 - Using SMT-prover to generate proof
Issue -
State: open - Opened by j123123 over 3 years ago
- 3 comments
#79 - first tests for (mm0 parser, mmu parser, mm0+mmu proof checker)
Pull Request -
State: open - Opened by Lakedaemon over 3 years ago
- 32 comments
#79 - first tests for (mm0 parser, mmu parser, mm0+mmu proof checker)
Pull Request -
State: open - Opened by Lakedaemon over 3 years ago
- 32 comments
#78 - mm0 for kotlin
Issue -
State: open - Opened by Lakedaemon over 3 years ago
- 61 comments
#78 - mm0 for kotlin
Issue -
State: open - Opened by Lakedaemon over 3 years ago
- 61 comments
#78 - mm0 for kotlin
Issue -
State: open - Opened by Lakedaemon over 3 years ago
- 61 comments
#78 - mm0 for kotlin
Issue -
State: open - Opened by Lakedaemon over 3 years ago
- 61 comments
#77 - mm0-ification of set.mm
Issue -
State: open - Opened by Lakedaemon over 3 years ago
- 1 comment
#77 - mm0-ification of set.mm
Issue -
State: open - Opened by Lakedaemon over 3 years ago
- 1 comment
#76 - start of the mm0ifying process of set.mm.mm0
Pull Request -
State: closed - Opened by Lakedaemon over 3 years ago
- 13 comments
#76 - start of the mm0ifying process of set.mm.mm0
Pull Request -
State: closed - Opened by Lakedaemon over 3 years ago
- 13 comments
#76 - start of the mm0ifying process of set.mm.mm0
Pull Request -
State: closed - Opened by Lakedaemon over 3 years ago
- 13 comments
#76 - start of the mm0ifying process of set.mm.mm0
Pull Request -
State: closed - Opened by Lakedaemon over 3 years ago
- 13 comments
#75 - Bump elliptic from 6.5.3 to 6.5.4 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#75 - Bump elliptic from 6.5.3 to 6.5.4 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#75 - Bump elliptic from 6.5.3 to 6.5.4 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#75 - Bump elliptic from 6.5.3 to 6.5.4 in /m0e
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#74 - edge case mm1 parser panic
Issue -
State: closed - Opened by ammkrn over 3 years ago
#74 - edge case mm1 parser panic
Issue -
State: closed - Opened by ammkrn over 3 years ago
#74 - edge case mm1 parser panic
Issue -
State: closed - Opened by ammkrn over 3 years ago
#74 - edge case mm1 parser panic
Issue -
State: closed - Opened by ammkrn over 3 years ago
#73 - Reject zero-length proofs in mm0-rs::mmb::parser.
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#73 - Reject zero-length proofs in mm0-rs::mmb::parser.
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#73 - Reject zero-length proofs in mm0-rs::mmb::parser.
Pull Request -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#72 - doc: add a snippet about lsp
Pull Request -
State: closed - Opened by c-cube over 3 years ago
- 1 comment
#72 - doc: add a snippet about lsp
Pull Request -
State: closed - Opened by c-cube over 3 years ago
- 1 comment
#71 - Diagnostic severity is elevated for upstream errors
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 5 comments
#71 - Diagnostic severity is elevated for upstream errors
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 5 comments
#71 - Diagnostic severity is elevated for upstream errors
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 5 comments
#70 - mm0-c rejects theorems with named hypotheses (minor)
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#70 - mm0-c rejects theorems with named hypotheses (minor)
Issue -
State: closed - Opened by ammkrn over 3 years ago
- 2 comments
#69 - add basic vim files
Pull Request -
State: closed - Opened by c-cube over 3 years ago
- 1 comment
#69 - add basic vim files
Pull Request -
State: closed - Opened by c-cube over 3 years ago
- 1 comment
#68 - mm0-c error when verifying peano.mmb against peano.mm0
Issue -
State: closed - Opened by jiaminglimjm almost 4 years ago
- 2 comments
#68 - mm0-c error when verifying peano.mmb against peano.mm0
Issue -
State: closed - Opened by jiaminglimjm almost 4 years ago
- 2 comments
#68 - mm0-c error when verifying peano.mmb against peano.mm0
Issue -
State: closed - Opened by jiaminglimjm almost 4 years ago
- 2 comments