#LEAN-THEOREM-PROVER

List of the best Telegram channels tagged with #LEAN-THEOREM-PROVER.

1Channels

442Combined reach

100%English

The #lean-theorem-prover tag brings together 1 Telegram channel with a combined audience of 442 subscribers. Content is primarily in English (100%). Channels are grouped under Education. Channels tagged #lean-theorem-prover frequently also cover #mathematics (100%), #ai (100%), #openai (100%).

Related Tags

Math Training Club ☆ Olympiad ☆ University ☆ high school ☆ book ☆ Video Students who have suitable financial conditions, if you use Farsi books of Kanal a lot, please purchase the original book from the market or download the English version in order to protect the rights of the publisher.

442

General

#mathematics #ai #lean-theorem-prover