Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover
Link: imperialcollegelondon.github.i…
Discussion: news.ycombinator.com/item?id=4…
Fermat’s Last Theorem
An ongoing multi-author open source project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover.Fermat’s Last Theorem
Proletarian Rage
in reply to Geriatric Gardener • • •In the end seems like be the case. The noise for 7th od October rapes (where no evidence till today) probably was the smoke to cover their thousands of cases.... todon.nl/@prolrage/11379488172…
@skwawkbox @palestine @israel @BBC5Live @BBCRadio4 @BBCNews @guardian @Independent @thetimes @UKLabour
Proletarian Rage
2025-01-08 21:34:56
Geriatric Gardener
in reply to Proletarian Rage • • •Whatever the case, it’s clear that Israel not only is a genocidal bloodthirsty colonial pariah state! It’s also a perverted, morally degraded & corrupt society that is spreading its inner Zionist corruption around the world via governments & organisations it works to subvert! Zionism is a disease that must be erased forever!
Proletarian Rage reshared this.
dave
in reply to Proletarian Rage • • •DemocracyNow had the story a few days ago. Now that the #Oct7 propaganda is debunked, the problem of sexual abuse by the #IDF is starting to be discussed publicly, like it should have been for a long time.
I will find the link.
reshared this
Proletarian Rage and Fou reshared this.
dave
in reply to dave • • •@prolrage
UN. Secretary-General Warns Israel over Sexual Violence Committed by Its Armed Forces
Aug 14, 2025
indyradio.net/?q=node/416
(scroll down a bit)
United Nations Secretary-General António Guterres has warned Israel it may be listed in an upcoming report about sexual abuse committed by armed forces...
Headlines August 14, 2025 from Democracy Now! | IndyRadio
indyradio.netdave
Unknown parent • • •middleeastmonitor.com/20250813…
UN chief warns Israel over alleged sexual abuse of Palestinians
Middle East Monitordave
Unknown parent • • •