mirrors/mongodb
mirrors/mongodb
0
0
Fork 0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-24 00:17:37 +01:00
Code Issues Releases Activity

SERVER-97559 Don't say we prove our TLA+ specs are correct (#29488)

Browse Source 
GitOrigin-RevId: 27a5342a5e0c92458c3447b4a0739aae82cd8809
This commit is contained in:
A. Jesse Jiryu Davis 2024-11-22 17:07:49 -05:00 committed by MongoDB Bot
parent 64a30c4225
commit 7c982b82df
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/mongo/tla_plus/README.md
View File

@ -1,6 +1,6 @@
# MongoDB TLA+/PlusCal Specifications
This folder contains formal specifications of various components in order to prove their
This folder contains formal specifications of various components in order to check their
correctness. Some are experiments, some reflect MongoDB's actual implementation. See the
comments in each spec for details.