Axiom Lean Engine Activity

Lean evaluation and metaprogramming utilities for provers

SourceForge Open Source Mirror Directory

• Summary
• Files
• Reviews

Activity for Axiom Lean Engine

• 6 days ago

  Axiom Lean Engine released /v1.9.0/v1.9.0 source code.zip

• 6 days ago

  Axiom Lean Engine released /v1.9.0/v1.9.0 source code.tar.gz

• 6 days ago

  Axiom Lean Engine released /v1.9.0/README.md

1

✕