8babd573 - sdrs

Add a pretty blank README

Changes

1 changed files (+3/-0)

README.md (new)
- @@ -0,0 +1,3 @@
  + # sdrs + + Experimental formally verified Rust port of [SDC](/sdc), yay!

Authored by: Anthony Wang
Authored at: 2025-03-24 19:52:03 -0500
Committed by: Anthony Wang
Committed at: 2025-03-24 19:52:03 -0500
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQN+PVT4nm39rWfsLE9dDdsodSiL6urygmZ4Vr8dsraKDRJwUNkr36kaS6lAzGo7MKt R8p+gvBKt+1S3uz9YG8wM= -----END SSH SIGNATURE-----
Object name: 8babd573ed5e336afdfc34130d9af5d092b700c5
Parent: 9dabbc22