README MIT license About An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. As of May 29, 2022, proof of computation & cryptographic stuff are considered off-topic. aw...
Paleotemperatures from fluid inclusions in halite: Method verification and a 100,000 year paleotemperature record, Death Valley, CA. Chem. Geol. 1998, 150, 223–245. [CrossRef] 4. Benison, K.C.; Goldstein, R.H. Permian paleoclimate data from fluid inclusions in halite. Chem. Geol. 1999...