Commit 4e740c5

committed

Revert "✨ Add AutoProver for SmtToken"

This reverts commit 24b9648.

1 parent 8e2e21a commit 4e740c5Copy full SHA for 4e740c5

4 files changed

+49

-113

lines changed

Cargo.lock
Cargo.toml
server
- Cargo.toml
- src
  - main.rs

4 files changed

+49

-113

lines changed

Comments

(0)