─── repository · pulse: dormant
input-output-hk/qeditas-egal
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents
─── subscriber view
Unlock the full view of input-output-hk/qeditas-egal
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.