Paul Cadman
Software engineer, mathematician, opera lover.
Pull Requests
568
Code Reviews
881
Top Repositories
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