Artifacts using Kala Common (3)

Sort by:Popular▼

✓Popular✓Newest

1. Pretty9 usages

org.aya-prover » prettyMIT

The Aya proof assistant

Last Release on Oct 19, 2025

2. Tools8 usages

org.aya-prover » toolsMIT

The Aya proof assistant

Last Release on Oct 19, 2025

3. API1 usages

org.aya-prover » apiMIT

The Aya proof assistant

Last Release on Jan 11, 2022

• Prev
• 1
• Next