Naftali Goldstein

Joined on Oct, 2018•1 repositories

Pull Requests

26

Code Reviews

51

Top Repositories

#

Repository

Stars

Forks

Issues (open)

Contributors

1

naftali-g/nushell

0

0

0

-1

Activity Feed (latest 7)

commented on issue Certora/CertoraProver#21

Jun 24, 2025, 7:33 AM

commented on pull request Certora/Examples#175

Jun 19, 2025, 10:37 AM

reviewed a pull request in Certora/Examples

Jun 19, 2025, 10:37 AM

commented on pull request Certora/Examples#175

Jun 19, 2025, 9:30 AM

commented on pull request Certora/Examples#175

Jun 19, 2025, 9:29 AM

commented on pull request Certora/Examples#175

Jun 19, 2025, 9:29 AM

reviewed a pull request in Certora/Examples

Jun 19, 2025, 9:32 AM