• Sina Hazratpour
  • Publications
  • Teaching
  • Lean
  • Talks
  • Notes
  • Meetings
  • Thoughts
  • Misc
    Sina Hazratpour

    Sina Hazratpour

    • Johns Hopkins
    • Email
    • LinkedIn
    • Google Scholar
    • ORCID
    • Instagram
    • Twitter

    Linear Algebra Game in Lean4

    Date: June 19, 2024

    • Recording of the talk on YouTube
    • Lean Game Server
    • Linear Algebra Game
    • Codebase on Github

    Share on

    Twitter LinkedIn
    Previous Next
    Sitemap
    • Follow:
    • Twitter
    • Feed
    © 2025 Sina Hazratpour. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.