pi-base / viewer

86%

master: 44%

LAST BUILD ON BRANCH svelte-deduction-display

branch: svelte-deduction-display

CHANGE BRANCH

x

Reset

• svelte-deduction-display
• dependabot/npm_and_yarn/dns-packet-1.3.4
• dependabot/npm_and_yarn/elliptic-6.5.3
• dependabot/npm_and_yarn/elliptic-6.5.4
• dependabot/npm_and_yarn/hosted-git-info-2.8.9
• dependabot/npm_and_yarn/immer-8.0.1
• dependabot/npm_and_yarn/immer-9.0.6
• dependabot/npm_and_yarn/ini-1.3.7
• dependabot/npm_and_yarn/merge-deep-3.0.3
• dependabot/npm_and_yarn/path-parse-1.0.7
• dependabot/npm_and_yarn/ssri-6.0.2
• dependabot/npm_and_yarn/url-parse-1.5.1
• dependabot/npm_and_yarn/websocket-extensions-0.1.4
• dev
• jcd/60
• jcd/63
• jcd/66
• master
• readme
• svelte
• svelte-cicd
• svelte-core
• svelte-deduction
• svelte-editor-example
• svelte-formula-suggest
• svelte-models
• svelte-related
• svelte-search
• svelte-state
• svelte-theorems
• svelte-traits

Display proof for derived traits