Featured

Reorganization

Software

SmartDown

Neomobili

SmartDown is a MultiMarkdown editor with outliner capabilities... and more...

SmartDown is a MultiMarkdown editor with outliner capabilities...and more. Main features

free

Larry Paulson,Tobias Nipkow,Makarius Wenzel

Isabelle is a generic proof...

Imperative_HOL, Multivariate_Analysis, Probability. HOLCF: reorganization

Simple Genius Software

SG People 5 is an org chart builder for business managers and others who want to understand, manage...

SG People 5 is an org chart builder for business managers and others who want to understand, manage