The interactive Isabelle proof experience, in your editor. Live proof state, Sledgehammer, build diagnostics, and theory tooling — backed by a real Isabelle/PIDE engine.
Logisim is a digital circuit simulator, originally available here. This is an italian fork based on the original Logisim version.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results