TGViewer
CoolGithubProjects CoolGithubProjects @r_coolgithubprojects · 4.59K subscribers
Post #17348 48
Lemma: an open-source PDF reader for math textbooks (SwiftUI + PDFKit) that turns "Theorem 2.3" and "(3.41)" into links and checks your derivations
https://github.com/fus3r/lemma

https://redd.it/1x5p8u4
@r_CoolGithubProjects
GitHub GitHub - fus3r/lemma: An IDE for reading mathematics: a free, open-source PDF reader for the Mac that turns references into links… An IDE for reading mathematics: a free, open-source PDF reader for the Mac that turns references into links, proofs into steps and checks derivations as you write them. - fus3r/lemma
Open in Telegram All posts from @r_coolgithubprojects
More from @r_coolgithubprojects
  1. Oct 14, 2026photo post
  2. Oct 14, 2026Weft Loom: a free desktop app for making music, where drum grids and piano rolls write Str…
  3. Oct 14, 2026Cooler - A native mobile client for Coolify https://getcooler.app https://redd.it/1x5pcyf…
  4. Oct 14, 2026photo post
  5. Oct 14, 2026I fed 50,000 live flight trajectories into an anomaly detection algorithm I wrote with Cla…
  6. Oct 14, 2026Apex: a free, open-source download manager for Windows, built in Rust (4 MB, no ads, no ac…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →