BLUE
Login
Profile banner
JA
José A. Alonso
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: jaalonso.github.io Sevilla, Spain
250 followers219 following2k posts
JAjalonso.bsky.social

ENS-Lean_course: Using theorems in Lean. ~ Roman Soletskyi. is.gd/sd1FJI#ITP#LeanProver#Lean4#Math

0
Profile banner
JA
José A. Alonso
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: jaalonso.github.io Sevilla, Spain
250 followers219 following2k posts
HomePopularExplore