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.
Shiira
The Immersive 2D Sandbox Platformer Game You Have to Try
Premium survival horror
An epic battle royale game
Fighting The Infected Horde
The First Game in the Call of Duty: Black Ops Series
One of the best Resident Evil games
Comments