Категория : Бесплатные средства доказательства теорем

Это категория статей, относящихся к программному обеспечению, которые могут свободно использоваться, копироваться, изучать, изменяться и распространяться всеми, кто получает копию: « свободное программное обеспечение » или « программное обеспечение с открытым исходным кодом ». Обычно это означает программное обеспечение, которое распространяется по лицензии свободного программного обеспечения и исходный код которого доступен любому, кто получает копию программного обеспечения.

• программ High Assurance (для обеспечения безопасности и безопасности) и бесплатного программного обеспечения с открытым исходным кодом (FLOSS) . Есть список