Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language.
Read more
Tag: Standard ML
PRADS – Passive Real-time Asset Detection System
PRADS stands for Passive Real-time Asset Detection System. It passively listens to network traffic.
Read more
Excellent Free Tutorials to Learn Standard ML
Standard ML is a safe, modular, strict, functional, polymorphic programming language with type inference, garbage collection, compile-time type checking, and exception handling.
Read more