PropLogicAPI Files

Status: Alpha

Brought to you by: duncanhope

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

Name	Modified	Size	InfoDownloads / Week
proplogicapi	2008-04-30		0
mathml_dtd	2008-04-30		0
proplogicapi_apps	2008-04-30		0
Totals: 3 Items			0

Other Useful Business Software

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview

Try free now

Recommended Projects

ElectroMimic
ElectroMimic is an electronic circuit simulator in Java™. The simulator is focused on the piecewise-linear models normally used by undergraduate students, but can also be linked with external simulation software for more realistic results.
Digital Circuit Simulator
gdcsim is a modular logic circuit simulator that can run unattended. It detects faults such as glitches and race conditions.
VLC media player
The best free media player for video and DVDs
CGAL
The Computational Geometry Algorithms Library

PropLogicAPI Files

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