Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 899adc8f53 Añadidos inductivos, finitud y naturales master Miguel Marco 2026-10-29 12:06:44 +0100
• 12d608d061
  
  Dos primeras hojas Miguel Marco 2026-10-26 12:49:31 +0100
• b51a19ee04 Initial commit Lean 4 VS Code Extension 2026-10-26 11:42:44 +0100