@alexskidanov
Co-founder @NearProtocol. Currently working on formal verification of code.
AI
Founder Alex Skidanov shares results from open-source Lean agent on X.
AI
