avatar

Paul Cadman

Software engineer, mathematician, opera lover.

Joined on Jun, 2009101 repositories

Pull Requests

568

Code Reviews

881

Activity Feed (latest 20)

deleted branch fix-typo-readme at funexists/raylean

Jun 30, 2025, 6:37 PM

pushed to main in funexists/raylean

Jun 30, 2025, 6:37 PM

merged a pull request in funexists/raylean

Jun 30, 2025, 6:36 PM

opened a pull request in funexists/raylean

Jun 30, 2025, 6:02 PM

created a branch fix-typo-readme in funexists/raylean

Jun 30, 2025, 6:02 PM

pushed to main in funexists/raylean

Jun 28, 2025, 6:31 PM

merged a pull request in funexists/raylean

Jun 28, 2025, 6:31 PM

pushed to lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:29 PM

pushed to lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:26 PM

pushed to lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:21 PM

pushed to lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:18 PM

pushed to lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:17 PM

pushed to lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:16 PM

pushed to lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:14 PM

opened a pull request in funexists/raylean

Jun 28, 2025, 6:08 PM

pushed to lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:08 PM

created a branch lean-update-v4.20 in paulcadman/raylean

Jun 28, 2025, 6:01 PM

Description of `WatchEvent` isn't defined

Jun 25, 2025, 4:49 PM

Description of `WatchEvent` isn't defined

Jun 22, 2025, 9:17 PM

Description of `ForkEvent` isn't defined

Jun 20, 2025, 3:36 PM