LogicCalculus Files

A logic IDE for the sentential logic and the predicate logic.

Status: Alpha

Brought to you by: omercan

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
2.0	2013-10-03	0
1.1	2011-11-08	0
1.0	2011-11-05	0
Totals: 3 Items		0

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

Host LLMs in Production With On-Demand GPUs

NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.

Try Free

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

Recommended Projects

Logicheck
An interactive tool to test logical structures and expressions
QMC Logic Minimizer
combinational logic functions minimization
Digital-Logic-Sim
A minimalistic digital logic simulator
Logic Circuit Designer
Create and simulate logic circuits
Circuit Sandbox
Visually build and simulate boolean logic circuits

LogicCalculus Files

A logic IDE for the sentential logic and the predicate logic.

Get an email when there's a new version of LogicCalculus