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.
Made by freaks for freaks!
Adult visual novel.
The horrors of terrorism
Descansando en la cama con ella
We don't have a description for the CITY OF ANGELS app yet.
The first in the TMS trilogy
Comments