Loading...
Loading...
Automated/neural theorem proving, RL. PhD student at Charles University.
11 new projects with 85 stars.
Coding for 12 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
opened pull request in google-deepmind/miniF2F
January 31st, 2026 7:59 PM
Pushed to main at Kripner/miniF2F
January 31st, 2026 7:56 PM
Forked google-deepmind/miniF2F
January 31st, 2026 7:55 PM
Pushed to main at Kripner/nanoproof
January 31st, 2026 7:46 PM
Pushed to main at Kripner/nanoproof
January 31st, 2026 7:44 PM
Starred google-deepmind/superhuman
January 31st, 2026 12:00 PM
Pushed to main at Kripner/nanoproof
January 29th, 2026 12:29 PM
Pushed to dev at Kripner/leantree
January 29th, 2026 6:30 AM
Pushed to main at Kripner/nanoproof
January 28th, 2026 11:12 PM
Pushed to main at Kripner/nanoproof
January 27th, 2026 8:06 PM