#hol — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hol, aggregated by home.social.
-
Why not just use Lean?. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #ITP #Nqthm #HOL #CoqProver #IsabelleHOL #LeanProver #AI4Math
-
Why not just use Lean?. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #ITP #Nqthm #HOL #CoqProver #IsabelleHOL #LeanProver #AI4Math
-
Why not just use Lean?. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #ITP #Nqthm #HOL #CoqProver #IsabelleHOL #LeanProver #AI4Math
-
Why not just use Lean?. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #ITP #Nqthm #HOL #CoqProver #IsabelleHOL #LeanProver #AI4Math
-
Why not just use Lean?. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html #ITP #Nqthm #HOL #CoqProver #IsabelleHOL #LeanProver #AI4Math
-
Want to learn more about the latest developments on using AI and (interactive) theorem proving in Mathematics? Wait no longer!
We have a great line-up of speakers at our online Workshop on AI and Theorem Provers in Mathematics. The workshop will be held online from 8th to 10th of April and attendance is free (registration required). For more details, visit the workshop website: https://aitpm.github.io/
#math #itp #theoremProving #isabelleHOL #lean #llm #ai #formal_mehods #agda #hol #mathematics
-
https://www.europesays.com/hu/32384/ Burning Ambition: itt a Maiden-dokumentumfilm előzetese #Entertainment #Filmek #hol #HU #Hungarian #Hungary #jubileumát #lives #Magyar #Magyarország #majd #május #mellett #mint #Movie #Szórakozás #zenekar
-
Anwohner haben Bedenken an Breite Straße
Seit einigen Wochen gibt es auf der Breite Straße am Grenzlandstadion immer wieder Engpässe: Die Fahrbahn ist verengt,…
#Moenchengladbach #Deutschland #Deutsch #DE #Schlagzeilen #Headlines #Nachrichten #News #Europe #Europa #EU #Mönchengladbach #Breite #Bringzone #Diskussion #geplant #Germany #Gesamtschule #Hol #Nordrhein-Westfalen #plant #Planung #Schule #Scotti #Straße #Straßenseite #Straßensperrungen
https://www.europesays.com/de/842050/ -
"Oh please let me keep the Peerage, I'll make it worth your while......"
"OK Peter, because we love you."
#Labour #PeterMandelson #UKPOL #UKPOLITICS #HouseOfLords #HoL
-
Go all the way and make it an elected 2nd house. But not shit like the American one, obvs....there are other countries in the World...
#UKPOL #UKPOLITICS #HoL #KeirStarmer #Labour #Starmer #Tories #PeterMandelson #Epstein #JeffreyEpstein #ClanOfPaedophiles #HouseOfLords
-
Hey British democracy fans, this is what will happen if the Lords aren't reformed sharpish.....so this is what WILL happen as Labour fails....
#UKPOL #UKPOLITICS #HoL #Democracy #ReformUK #ClanOfPaedophiles
-
Readings shared December 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/10-readings_shared_12-09-25 #AI #FunctionalProgramming #HOL4 #HOL-Light #Haskell #ITP #IsabelleHOL #LeanProver #Math
-
50 years of proof assistants. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #ITP #IsabelleHOL #CoqProver #HOL
-
We all know it, but here is a commissioned report confirming that the Oligarchs are taking over.
#EatTheRich #Oligarchs #HoL #UKPOL #UKPOLITICS #NoBillionaires
-
This is one of the two corrupt Lords exposed as taking cash for questions, or in other words CORRUPTION.
Isn't about time we threw American meddling out of our politics? They do not mean us well, only Traitors to the nation will side with the Trump regime....seeing as some are talking about Treason and Sedition.
#PalestineAction #UKPOL #UKPOLITICS #Trump #treason #Sedition #USPOL #USPOLITICS #Colonialism #FreeSpeech #HoL
-
Old White Men with a lot of Privilege....can't trust 'em!
#HoL #UKPOL #UKPOLITICS #RIchardDannatt #DavidEvans #Lobbying
-
Old White Men with a lot of Privilege....can't trust 'em!
#HoL #UKPOL #UKPOLITICS #RIchardDannatt #DavidEvans #Lobbying
-
Old White Men with a lot of Privilege....can't trust 'em!
#HoL #UKPOL #UKPOLITICS #RIchardDannatt #DavidEvans #Lobbying
-
they must at least try... best bet for me is flatten #HoL and #westminster and build the first one right on the Thames embankment... and leave enough room for parking trident subs...
-
I like a good life path. Helps give background to characters and being them to life right from the start.
Other examples I can think of include Mechwarrior and HOL.
My favorite HOL random event is “God blamed you, personally, for the death of his only son. You are cursed.”
-
Summer in Hallingdal. Visiting my parents in the house which my great great grandparents built #Hallingdal #summer #parents #Haakonsæt #Haakonsaet #Håkonsæt #Hakonset #Hovet #Hol #Buskerud #Viken #Norge #Noreg #norway
-
🚨18 months ago, Michelle Mone admitted she lied to the media about her links to a PPE firm that profited during the #pandemic. #EnoughIsEnough. Sign the #Petition to demand she’s expelled from the House of Lords: 👇🤬 https://38d.gs/qhjk #UKPolitics #HoL #ToryCriminals 🤬
-
Technology & Friends - Laurent Bugnion on Coordinating Hands on Labs with host David Giard.
https://davidgiard.com/laurent-bugnion-on-coordinating-hands-on-labs
-
just found from researchgate
#metaphysics #ontological_proof
#modal_logic #HOL #Kurt_Gödel #Dana_Scottthis open access paper may be of interest to rather everyone in the field
https://link.springer.com/article/10.1007/s00605-025-02078-x
-
just found from researchgate
#metaphysics #ontological_proof
#modal_logic #HOL #Kurt_Gödel #Dana_Scottthis open access paper may be of interest to rather everyone in the field
https://link.springer.com/article/10.1007/s00605-025-02078-x
-
just found from researchgate
#metaphysics #ontological_proof
#modal_logic #HOL #Kurt_Gödel #Dana_Scottthis open access paper may be of interest to rather everyone in the field
https://link.springer.com/article/10.1007/s00605-025-02078-x
-
just found from researchgate
#metaphysics #ontological_proof
#modal_logic #HOL #Kurt_Gödel #Dana_Scottthis open access paper may be of interest to rather everyone in the field
https://link.springer.com/article/10.1007/s00605-025-02078-x
-
just found from researchgate
#metaphysics #ontological_proof
#modal_logic #HOL #Kurt_Gödel #Dana_Scottthis open access paper may be of interest to rather everyone in the field
https://link.springer.com/article/10.1007/s00605-025-02078-x
-
I like the idea of a reformed House of Lords being full of experts in their field, so they knock back populist shit like this.
-
New Artist announced for Sziget Festival 2025: 🔥 Hol! 🔥
🎶 Listen to the current LineUp on YouTube and Spotify: https://fyrefestivals.co
🎟️ Get your Tickets now: https://prf.hn/l/EJnYMdO#Sziget_Festival_2025 #Hol #fyre_festivals #livemusic #youtube #spotify #music #musicfestivals #playlist #tickets #announcement
-
And this is why people think Labour are not on their side
-
More of this sort of thing
Americans, imagine if the Senate weren't elected but appointed by the Government and you had Hereditary Senators dating back way too long ago, and 'Lords Spiritual'.....well you're kinda heading there now really,so....
-
Corruption for foreign nations is treason.
But only if you're poor and don't have the right friends, obviously.... -
Imagine being so fucking racist, you'd Protest Vote for a traitor who will sell out this country to Russia and America.
How many Russian assets are in the House of Lords btw?
#NigelFarage #ProtestVote #Oligarchs #Treason #UKPOL #UKpolitics #HoL
-
New Artist announced for Parookaville Festival 2025
HOL!
Added top 5 songs to the playlist Parookaville Festival 2025
Listen now on YouTube Music: https://www.youtube.com/playlist?list=PLB5UNN-XlHr0umrk0ra5F0YQEkwaw4xBJ
#Parookaville_Festival_2025 #HOL! #fyre_festivals #livemusic #youtube #music #2025 #musicfestivals
-
IPP sentence: Top judge demands help for prisoners ‘left to rot’ under ‘morally wrong’ indefinite jail terms | The Independent
https://www.independent.co.uk/news/uk/crime/ipp-sentence-lord-thomas-prison-b2631771.html -
Lecturas compartidas el 25 de junio de 2024. https://jaalonso.github.io/vestigium/posts/2024/06/26-lecturas_compartidas_el_25-jun-24 #ITP #Agda #Coq #HOL #HOL_Light #IsabelleHOL #Lean4 #Metamath #Math #Haskell #Python #Algorithms #AI #MachineLearning
