Jape is a configurable graphical formal-proof calculator that enables users to define logics, view proofs, and more. It supports sequent calculus, natural deduction, functional programming, and operational semantics.
Turn your favorite photos into greeting cards and personalize many templates with a click of the mouse.
One of the best Resident Evil games
Fighting The Infected Horde
An epic battle royale game
The Immersive 2D Sandbox Platformer Game You Have to Try
Premium survival horror
The First Game in the Call of Duty: Black Ops Series
Comments