Skip to main content
Proof Assistants Beta
Andrew K. Hirsch's user avatar
Andrew K. Hirsch's user avatar
Andrew K. Hirsch's user avatar
Andrew K. Hirsch
  • Member for 2 years, 6 months
  • Last seen more than a week ago
Profile Activity
Stats
304
reputation
3k
reached
4
answers
0
questions
Communities
About

Assistant professor of Computer Science and Engineering at the University at Buffalo, SUNY. Specializes in programming languages and logic, especially type systems, concurrency, and language-based security.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
9
Score
1
Posts
25
Posts %
3
Score
2
Posts
50
Posts %
3
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
3
Score
1
Posts
25
Posts %
Top posts
answer
9
Can we prove every provable statement with Lean?
Aug 15, 2023
answer
3
Multiplicity of implicit type arguments in interfaces
Jun 29, 2022
answer
3
Ltac - run tactic for each hypothesis of given pattern
Jul 10, 2023
answer
0
Dependent sum and equality with Coq
Sep 19, 2023