Anthony Hart
Functional Programmer and Formal Verification Engineer with experience in Haskell and Coq
Pull Requests
179
Code Reviews
33
Top Repositories
Activity Feed (latest 19)
pushed to main in anoma/Semitopology-Checker
Jun 20, 2025, 3:58 PM
closed an issue in anoma/Semitopology-Checker
Jun 16, 2025, 11:46 PM
pushed to main in anoma/Semitopology-Checker
Jun 16, 2025, 11:45 PM
closed an issue in anoma/Semitopology-Checker
Jun 16, 2025, 9:01 PM
pushed to main in anoma/Semitopology-Checker
Jun 16, 2025, 8:51 PM
opened an issue in anoma/Semitopology-Checker
Jun 12, 2025, 8:40 PM
opened an issue in anoma/Semitopology-Checker
Jun 11, 2025, 2:30 PM
opened an issue in anoma/Semitopology-Checker
Jun 11, 2025, 2:29 PM
pushed to main in anoma/Semitopology-Checker
Jun 10, 2025, 12:47 PM
pushed to main in anoma/Semitopology-Checker
Jun 10, 2025, 11:43 AM
pushed to main in anoma/Semitopology-Checker
Jun 10, 2025, 11:40 AM
pushed to main in anoma/Semitopology-Checker
Jun 10, 2025, 10:51 AM
pushed to main in anoma/Semitopology-Checker
Jun 9, 2025, 7:45 PM
pushed to main in anoma/Semitopology-Checker
Jun 9, 2025, 5:59 PM
pushed to main in anoma/Semitopology-Checker
Jun 9, 2025, 1:19 PM
pushed to main in anoma/Semitopology-Checker
Jun 9, 2025, 12:46 PM
pushed to main in anoma/Semitopology-Checker
Jun 9, 2025, 10:24 AM
created a branch main in anoma/Semitopology-Checker
Jun 9, 2025, 9:33 AM
created a repository null in anoma/Semitopology-Checker
Jun 9, 2025, 9:33 AM