FeedBagel
Search RSS feeds, sites, pages...
⌘
K
🥯
Today's special
·
Indie design writing, lightly toasted
RSS Reader
✦
Browse
✦
API
Submit
Open menu
All Topics
Technology
AI
Business
Entertainment
News
Programming
Science
Design
Environment
Finance
Crypto
Politics
Sports
Education
Gaming
Art
Music
Health
Security
Books
Food
Travel
Personal
Bluesky
Twitter
Formal Mathematics RSS Feeds | FeedBagel
Directory
0 formal mathematics feeds · 1 articles
Show all languages →
All Formal Mathematics Feeds
FeedBagel
Baker's Take
Topics
API
About
Latest
Formal Mathematics articles
All sources
Follow topic
A critique of Lean and the culture of formal mathematics communities
23 Apr 2026
0
Opinion
technology
education
programming languages
lawrencecpaulson.github.io
·
Hacker News: Front Page
·
2mo ago
·
9 min read
