![]() See also Wikipedia:List of molecular graphics systems. || units 1.3 Chemistry 1.3.1 Molecules 1.3.1.1 Viewers Units - Command-line unit converter and calculator that can handle multiplicative scale changes, nonlinear conversions such as Fahrenheit to Celsius or wire gauge and others.Step - Two-dimensional physics simulation engine. ![]() || CLI: coq, GUI: coqide 1.2 Physics 1.2.1 Physics simulation It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. It is an interactive system for writing and checking proofs.
0 Comments
Leave a Reply. |