The Boston Project
Login
  • All
  • Breaking News
  • Good News
  • Entertainment
  • Local News
  • World News
  • Human Interest
  • Crisis & Emergency
  • Newsss
  • Politics
  • Technology
  • Business
  • Science
  • Health
  • Security
  • Education
  • Society
  • Environment
  • Infrastructure
  • Law
  • Front Page
» Education » Permalink » Source
241

Litex: Formal math for everyone – set theory examples with Lean comparison

Comments
(0) Comments 0 💬
Avatar of Anonymous
Anonymous
2 hrs ago
Search
Say Something
Select the appropriate category for your post.
Add a link to share with the community.
Add a title to make your post stand out.
Share your thoughts with the community.

Trending Today

Your Last Chance to Save on PS5 Pro Before Christmas Is Here
Score: 340 Posted by J4janet 43 mins ago
‘Unwelcome on American soil’: US bans European ‘ideologues’ accused of censorship
Score: 319 Posted by David 39 mins ago
Trump-backed candidate Nasry Asfura wins Honduras presidential election
Score: 233 Posted by James 45 mins ago
Phoenix: A modern X server written from scratch in Zig
Score: 222 Posted by Anonymous 15 mins ago
Imani Smith, Former ‘Lion King’ Child Star, Killed at 25; Boyfriend Charged With Murder
Score: 211 Posted by Lylerocker33 24 mins ago
About Contact Site Map