Codice QR
Avatar di Nazgand

Nazgand

Mathematician / Programmer Β· Hayden, Idaho, USA πŸ‡ΊπŸ‡ΈπŸ‡ΊπŸ‡ΈπŸ‡ΊπŸ‡Έ

Interessi

  • Weiqi
  • Mathematics
  • Computers
  • Lean 4
  • formal verification