#Math1 — Bluesky Posts — bluesky.baby

Profile Explorer

Home New Trending Search

About Privacy Terms

#

#Math1

Posts tagged #Math1 on Bluesky

José A. Alonso

@jalonso.eurosky.social

1 year ago

Readings shared October 16, 2024 The readings shared in Mastodon on 16 October 2024 are Readings shared October 15, 2024. #AI #ChatGPT #Emacs #FunctionalProgramming #GeoGebra #Haskell #ITP #LambdaCalculus #Lean4 #LeanProver #LogicPr

Readings shared October 16, 2024. jaalonso.github.io/vestigium/po... #AI #Education #FunctionalProgramming #Haskell #ITP #Lean4 #MachineLearning #Math1

0 0 0 0