All Workflows create-release.yml lean_action_ci.yml update.yml

Actor

All actors mmarco

Status

All status success failure waiting running

Añadidos inductivos, finitud y naturales

lean_action_ci.yml #2:Commit 899adc8f53 pushed by mmarco

master

2026-10-30 12:38:33 +01:00

0s

Dos primeras hojas

lean_action_ci.yml #1:Commit 12d608d061 pushed by mmarco

master

2026-10-27 18:38:33 +01:00

0s