| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-24 | Split off Nsatz tactic part into NsatzTactic | Jason Gross | |
| Closes #5445 Note that we use `Include` rather than `Export` to expose the machinery defined in `NsatzTactic` from `Nsatz` to preserve backwards compatibility with developments relying on absolute names of the constants previously defined in `Nsatz.v`. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |