Reviews (0)
No reviews yet. Be the first to review this listing.
Write a review
Is this your business?
About
A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction, generates proof documentation for the web, supports distributed cooperative proving.
Details
- CIN
- —
- Registration Number
- —
- Listed on Stock Exchange
- —
- Company Status
- —
- Registrar of Companies (RoC)
- —
- Company Category
- —
- Company Sub-category
- —
- Class of Company
- —
- Date of Incorporation
- —
- Age of Company
- —
Opening hours
| Monday | — |
|---|---|
| Tuesday | — |
| Wednesday | — |
| Thursday | — |
| Friday | — |
| Saturday | — |
| Sunday | — |
Reviews (0)
No reviews yet. Be the first to review this listing.