semorrison
Follow
Popular repositories
-
-
-
-
mathscinet-arxiv-links Public
A Chrome/Firefox extension that inserts links to arXiv preprints on MathScinet pages, where possible.
1,116 contributions in the last year
Contribution activity
July 2022
Created 14 commits in 4 repositories
Created a pull request in leanprover-community/mathlib4 that received 9 comments
[Merged by Bors] - chore(Mathport/Syntax): add syntax for coherence tactic
Should have been added after leanprover-community/mathlib#13417.
+3
−0
•
9
comments
Opened 5 other pull requests in 2 repositories
leanprover-community/mathlib4
1
merged
2
closed
leanprover/lean4
2
merged
Reviewed 16 pull requests in 3 repositories
leanprover-community/mathlib4
12 pull requests
-
feat:
expect_...tactics for testing -
feat(Mathlib/Tactic/TypeCheck): add
type_checktactic -
feat(Mathlib/Logic/Equiv/LocalEquiv): add the
mfld_set_tactactic - feat: clear_value tactic
-
[Merged by Bors] - feat:
swap_vartactic - feat: add trace tactic
-
[Merged by Bors] - feat(Mathlib/Tactic): implement
infer_opt_param - [Merged by Bors] - feat(Mathlib/Tactic/Clear_): add clear_ tactic
-
[Merged by Bors] - feat(Mathlib/Tactic/Basic): add
trivtactic - [Merged by Bors] - feat: GuardHypNums tactic
- [Merged by Bors] - chore(Mathport/Syntax): add syntax for coherence tactic
- [Merged by Bors] - docs(Tactic/Rename): improve the docstring