Tag: lean

• Theorem Proving in Lean 4 (27 May 2024)
  
• Some notes on learning Lean (07 May 2024)