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, 9 months
  • Last seen more than a week ago
Profile Activity
Stats
324
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.
2
silver badges
7
bronze badges
Top tags
11
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
11
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