@bhzhan
Interactive theorem proving, modelling and verification of embedded systems.
MARS: a toolchain for Modeling, Analyzing and veRifying hybrid Systems
iscalc - An interactive symbolic computation framework
Implementation of higher-order logic in Python.
sssssssssss
