Back to article
isabelle.in.tum.de

Isabelle (opens in new tab)

Covered by 5 sources See all sources covering this story including GitHub, IEEE Spectrum

Covered in 5 articles

GitHub·

vehicle-lang/vehicle

Feeds
IEEE Spectrum
·

What it Means to Be a Mathematician When AI Does the Math

Discussed on Hacker News, Lobsters, and r/TrueReddit
Feeds
avelino.run·

File sync isn't trivial, and nobody tells you that Posted on May 25, 2026

Feeds
galois.com·

Announcing Isabelle support for SAW

Discussed on Lobsters
Feeds
CyberScoop·

Apple open-sources quantum-resistant encryption code

Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help