The geometry game. ~ Marc Masdeu. (@marcmasdeu). mat.uab.cat/~masdeu/argo/#ITP#Lean3#Math
ENS-Lean_course: Homework 2 (Logic). ~ Roman Soletskyi. tinyurl.com/2755evuo#ITP#LeanProver#Lean4#Math
Parallel shear sort (in Isabelle/HOL). ~ Manuel Eberl & Peter Lammich. www.isa-afp.org/entries/Para...#ITP#IsabelleHOL#Algorithms
Readings shared September 30, 2024. jaalonso.github.io/vestigium/po...#ITP#LeanProver#Lean4#Math#LambdaCalculus
The readings shared in Mastodon on 30 September 2024 are Readings shared September 29, 2024. #ITP #LeanProver #Lean4 #Logic #Math #Haskell #FunctionalProgramming #Prolog #ASP #LogicProgramming #AI In
ou, só um adendo aqui rapidão, tem tanta gente bonita no prn/itp (nunca fui triste’
AEGISAPP運送業 for ITP-Web MP が、トレーラ輸送、RORO船輸送に対応しました - 株式会社イージスワン https://prtimes.jp/main/html/rd/p/000000014.000028162.html
Trea Turner Signed Framed 16x20 Philadelphia Phillies Photo BAS ITP 👉 shrsl.com/4fujm 👈 #VintageCards#MemorabiliaCollector#CardCollecting#SportsCards#CardAuction
Tyreek Hill Miami Signed Framed Custom Teal Football Jersey BAS ITP 👉 shrsl.com/4fujm 👈 #CardTrader#Collectibles#CardShow#Autographs#RookieCards