Proofs
vs
OilPrice

Proofs vs OilPrice

How do Proofs and OilPrice compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.

Directory details: Proofs and OilPrice
Directory detailProofsOilPrice
What it is
This proof editor and checker demonstrates Fitch-style natural deduction systems used in introductory logic textbooks.
OilPrice publishes crude oil and gas price charts, futures information, energy news, and investment coverage.
Website
Type
Website
Website
Topic
Pricing
Not confirmed
Not confirmed
Platforms
Web
Web
Open source
Not stated
Not stated
Language
English
English
Alternatives

Other options to consider

Sites similar to both Proofs and OilPrice.

Logitext

logitext.mit.edu/tutorial

The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.