search

lorin / btree-tla

Modeling B-trees in TLA+
MIT License
5 stars 1 forks source link

Add to TLA+ examples #1

Open lemmy opened 2 months ago

lemmy commented 2 months ago

Would you consider adding this to https://github.com/tlaplus/examples/?tab=readme-ov-file#examples-elsewhere?

lorin commented 2 months ago

Sure thing! Should I just submit a PR?

lemmy commented 2 months ago

Yes, please!

lorin commented 2 months ago

https://github.com/tlaplus/Examples/pull/147