FedSearch
Antoine Chambert-Loir · @antoinechambertloir
1298 followers · 12851 posts · Server mathstodon.xyz

Just uploaded a paper on arXiv — It should appear there next Thursday.

Formalizing the proof of an intermediate-level algebra theorem — An experiment

Abstract. — Proof assistants are computer softwares that allow us to write mathematical
proofs so as to assess their correctness. In November 2021, I started the project of checking the simplicity of the alternating groups within the Lean theorem prover and its mathlib library. This text aims at reviewing this experiment.

webusers.imj-prg.fr/~antoine.c

#iwasawa #simplicity #leanprover #math

Last updated 2 years ago
Original post

WACOCA · @wacoca
11 followers · 20076 posts · Server mastodon.cloud
Open media

#beater #buzzer #buzzerbeater #celebrities #celebrity #iwasawa #kitagawa #koji #nba #vlog #yujin #yuzu #YuzuBandゆず #yuzukko #ブザービーター #ゆず #ゆずっこ #北川悠仁 #岩沢厚治 #柚子

Last updated 2 years ago
Original post

WACOCA · @wacoca
3 followers · 8925 posts · Server mastodon.cloud
Open media

#celebrities #YuzuBandゆず #yuzukko #ゆずっこ #Kakuu #koji #celebrity #iwasawa #北川悠仁 #岩沢厚治 #tabi #vlog #yujin #yuzu #夏空の旅 #kitagawa #ゆず #柚子

Last updated 3 years ago
Original post