waterproof
waterproof copied to clipboard
impermeable
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Bumps [terser](https://github.com/terser/terser) from 4.8.0 to 4.8.1. Changelog Sourced from terser's changelog. v4.8.1 (backport) Security fix for RegExps that should not be evaluated (regexp DDOS) Commits See full diff in compare...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [node-fetch](https://github.com/node-fetch/node-fetch) from 2.6.1 to 2.6.7. Release notes Sourced from node-fetch's releases. v2.6.7 Security patch release Recommended to upgrade, to not leak sensitive cookie and authentication header information to 3th...
Bumps [pathval](https://github.com/chaijs/pathval) from 1.1.0 to 1.1.1. Release notes Sourced from pathval's releases. v1.1.1 Fixes a security issue around prototype pollution. Commits db6c3e3 chore: v1.1.1 7859e0e Merge pull request #60 from...
Bumps [url-parse](https://github.com/unshiftio/url-parse) from 1.5.3 to 1.5.10. Commits 8cd4c6c 1.5.10 ce7a01f [fix] Improve handling of empty port 0071490 [doc] Update JSDoc comment a7044e3 [minor] Use more descriptive variable name d547792 [security]...
Bumps [markdown-it](https://github.com/markdown-it/markdown-it) from 8.4.2 to 12.3.2. Changelog Sourced from markdown-it's changelog. [12.3.2] - 2022-01-08 Security Fix possible ReDOS in newline rule. Thanks to @MakeNowJust. [12.3.1] - 2022-01-07 Fixed Fix corner...
Bumps [shell-quote](https://github.com/ljharb/shell-quote) from 1.7.2 to 1.7.4. Changelog Sourced from shell-quote's changelog. v1.7.4 - 2022-10-12 Merged Add node_modules to .gitignore [#48](https://github.com/ljharb/shell-quote/issues/48) Commits [eslint] fix indentation and whitespace aaa9d1f [eslint] additional cleanup...
Bumps [eventsource](https://github.com/EventSource/eventsource) from 1.1.0 to 1.1.2. Changelog Sourced from eventsource's changelog. 1.1.2 Inline origin resolution, drops original dependency (#281 Espen Hovlandsdal) 1.1.1 Do not include authorization and cookie headers on...
Bumps [follow-redirects](https://github.com/follow-redirects/follow-redirects) from 1.14.5 to 1.15.2. Commits 9655237 Release version 1.15.2 of the npm package. 6e2b86d Default to localhost if no host given. 449e895 Throw invalid URL error on relative...
Bumps [plist](https://github.com/TooTallNate/node-plist) from 3.0.4 to 3.0.6. Changelog Sourced from plist's changelog. 3.0.5 / 2022-03-23 [96e2303d05] Prototype Pollution using .parse() #114 (mario-canva) update browserify from 16 to 17 Commits See full...
One way of structuring proofs in Coq is to use bullets and braces. This behavior can be enforced by ```Set Default Goal Selector "!".``` However, it seems that errors thrown...
Metadata
Owner
Metadata
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.