Sign Up
ORG:PROOFPAD
Proof Pad
Privately Held
Overview
Analysis
Metrics
Financials
Filings
API
Data
name
Proof Pad
homepage url
proofpad.org/
country
United States
sector
Technology
industry
Software Development
Description
Proof Pad is a modern development environment for ACL2 with all the trimmings.
peer of
Metrics
market
PRIVATE
msh_id
ORG:PROOFPAD
locale
us
website
https://proofpad.org/
source_ref
f5f2f7af-9419-448b-bdfe-70cfbb6008b3
products_or_services
Development environment software for ACL2