Commit 3a3f8ea

committed

feat: extra vals for theory in structured CTI viewer

1 parent ec8778c commit 3a3f8eaCopy full SHA for 3a3f8ea

2 files changed

+225

-192

lines changed

ProofWidgets/Demos
- VerificationResults.lean
widget/src
- verificationResults.tsx

2 files changed

+225

-192

lines changed

Comments

(0)