xav.io: 2 stories from 2 submitters

1. 24

   Visions of the future: formal verification in Rust plt rust xav.io

   via jado 6 months ago | caches

   Archive.org Archive.today Ghostarchive

   | 5 comments
   5
2. 17

   ПП-BESM - a Soviet PL historical plt xav.io

   via alexkorban 1 year ago | caches

   Archive.org Archive.today Ghostarchive

   | 5 comments
   5