Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jldodds/coq-lean-cheatsheet issues and pull requests

#7 - update README

Pull Request - State: closed - Opened by fpvandoorn about 5 years ago - 1 comment

#6 - apply/eapply

Issue - State: closed - Opened by fpvandoorn over 7 years ago

#5 - Add reference to specialize tactic?

Issue - State: closed - Opened by bmsherman over 7 years ago - 1 comment

#4 - Add reference for `Proof using`

Issue - State: closed - Opened by bmsherman over 7 years ago

#3 - Add some Vernacular translations

Pull Request - State: closed - Opened by bmsherman over 7 years ago

#2 - Create a lean file with example uses of all tactics mentioned

Issue - State: open - Opened by jldodds over 7 years ago

#1 - add `intros`, `.`, note about `apply congr_args`, remove a misplaced line

Pull Request - State: closed - Opened by bmsherman over 7 years ago - 1 comment