There is a newer version of the record available.

Published October 20, 2023 | Version 1.0-beta2.1-8.12
Software Open

coq-tactician/coq-tactician: Tactician 1.0~beta2.1+8.12 for Coq 8.12

Creators

Description

A Seamless, Interactive Tactic Learner and Prover for Coq

Files

coq-tactician/coq-tactician-1.0-beta2.1-8.12.zip

Files (1.0 MB)

Additional details

Related works

Is supplement to
Software: https://github.com/coq-tactician/coq-tactician/tree/1.0-beta2.1-8.12 (URL)