https://jonathan.protzenko.fr/feed.xml
Google Information Security Engineering (Seattle)
May 5, 2026
A case study with Aeneas and jxl-rs
Aeneas is a toolchain for verifying Rust programs, relying on a functional translation to Lean. Aeneas is now nearly five years old, and many excellent improvements have landed recently, thanks to
None found.
If you are the site owner, you can add <link rel="me" ...> elements to link to your other sites or profile pages.
These will appear after the next crawl.
None found.
Web feeds (RSS feeds or Atom feeds) will appear here. If you are the site owner you can add an OPML blogroll to recommend other blogs or websites.
Blogrolls that include this feed
None found.
If you'd like to promote this feed you can add it to your OPML blogroll. You'll appear here as a subscriber after the next crawl if your site is part of the network.
This feed scored 19 point in our rating.
A feed can increase its score (and appear higher on our list) by implementing an OPML blogroll, adding a title, description, categories, and more.
cats - 0See criteria
description - 3
feedlangs - 0
hascontent - 3
hasposts - 3
postcats - 0
promoted - 5
promotes - 0
relme - 0
title - 3
website - 2