The avatar for @t42

Can Baykar

linkedin.com/in/can-baykar-918049334/
tcbaykar42@gmail.com

Public notebooks

Showing all 3 notebooks
thumbnail
All Lean mathlib4 Tactics
The avatar for @t42
Can Baykar
Apr 12• 1
thumbnail
Van der Pol Oscillator with an Implicit and an Explicit Method
The avatar for @t42
Can Baykar
Jul 30, 2025
thumbnail
Stability Attraction Test This notebook is a fork
The avatar for @t42
Can Baykar
May 11, 2025•1