Open Logic Project
@OpenLogicProj
Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.
You might like
We are no longer active on Twitter. Subscribe by email: openlogicproject.org/subscribe-by-e… or follow us on the Fediverse: openlogicproject.org/@openlogic
Beta version of fitch.sty 1.0 available for testing (that's Selinger's natural deduction package) openlogicproject.org/2023/10/16/sel…
There's a new (beta) version of forall x: Calgary. Here’s a list of changes: openlogicproject.org/2023/08/15/fal…
The #open #logic textbook forall x: Calgary is now available in HTML with extra #accessibility features for #blind students #a11y #OER #opentextbook openlogicproject.org/2023/07/27/for…
[New Issue] Fix a few typos github.com/OpenLogicProje…
[New Issue] Fix typos github.com/OpenLogicProje…
[New Issue] Format set axioms github.com/OpenLogicProje…
Happy #OEWeek23 and happy 10th birthday to us! 🎂 openlogicproject.org/2023/03/07/the…
The Open Logic Project is 10! openlogicproject.org/2023/03/07/the…
[New Issue] Fix small typo github.com/OpenLogicProje…
[New Issue] Fix typo github.com/OpenLogicProje…
[New Issue] Typo in "recursive functions" github.com/OpenLogicProje…
[New Issue] Small typo in Simultation Primitive Recursion github.com/OpenLogicProje…
[New Issue] Small typo (already used variable name) in Functions Representable in Q are Computable github.com/OpenLogicProje…
[New Issue] Small typo in Lindenbaum's lemma for int logic zpr.io/sLkH5nN328kB
[New Issue] Small typo in description of canonical model zpr.io/dq8BubhZgBng
[New Issue] Slc f21 bis zpr.io/FcYFFaFAr229
[New Commit] spell out JFK; fixes issue #320 zpr.io/QPa9BiqASkJh
[New Commit] Fix a typo in a proof about filtrations zpr.io/vC7JuUTJ58JM
![lastpositivist's profile picture. Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]](https://pbs.twimg.com/profile_images/1064478691068137473/NnNlroSU.jpg)
United States Trends
- 1. Wemby 33K posts
- 2. Steph 69.6K posts
- 3. Spurs 31.2K posts
- 4. Draymond 13.7K posts
- 5. Clemson 11.2K posts
- 6. Louisville 10.9K posts
- 7. #SmackDown 51.3K posts
- 8. Zack Ryder 15.9K posts
- 9. Aaron Fox 2,243 posts
- 10. #DubNation 2,019 posts
- 11. Harden 14.2K posts
- 12. Massie 54.9K posts
- 13. Marjorie Taylor Greene 45.8K posts
- 14. Brohm 1,660 posts
- 15. Dabo 1,976 posts
- 16. Landry Shamet 5,900 posts
- 17. Mitch Johnson N/A
- 18. Bill Clinton 185K posts
- 19. UCLA 8,603 posts
- 20. Matt Cardona 2,885 posts
You might like
-
Francesco Berto
@Franz_Berto -
Joel David Hamkins
@JDHamkins -
Set Theory Talks
@settheorytalks -
Buenos Aires Logic Group
@BALogicGroup -
arXiv math.LO Logic
@mathLOb -
Logical Analysis
@LogicalAnalysis -
sequiturquodlibet
@antitheorem -
Saul Kripke Center
@KripkeCenter -
Gillian Russell
@larkofadefinite -
Peter Smith
@PeterSmith -
Neil Barton
@CantorsCoffee
Something went wrong.
Something went wrong.