Proof Pad is a modern development environment for ACL2 with all the trimmings.

Proof Pad

news_impact_assignment_basic

key_people

merger_acquisitions

network_dossier

public_peers

news_daily_refresh

news_processing_daily_refresh

news_impact_assignment_daily

news_processing_basic

legal

legal_dossier

bundesanzeiger

events_dossier

partnerships_market_presence_dossier

partnerships_market_presence

company_dossier

network

strategic_challenges

industry_trends

strategic_challenges_dossier

industry_trends_dossier

company_summary

events

network_mapping

transactions_dossier

swot_dossier

signals

financial_statements

crunchbase_trigger

crunchbase_profile

li_profile

financials_download_nd

private_financials

swot_analysis

financial_legal_advisories

company_structure

industry_analysis

financial_analysis

funding_rounds_analysis

regulatory_analysis

competition_analysis

news_impact_assignment_advanced

news_processing_advanced

news_advanced

purchaser_profile

network_onboarding

translate_crunchbase_fundingrounds

peers

customer_profile

news_basic

valuation

news impact assignment basic	general
public peers	general	Oct 22, 2024 10:56 AM	5c7cb188
news daily refresh	general
news processing daily refresh	general
news impact assignment daily	general
news processing basic	general
company summary	general
signals	general	Oct 22, 2024 10:56 AM	edff0848
crunchbase trigger	general	Nov 27, 2024 12:50 PM	35281a6a
crunchbase profile	general
li profile	general
translate crunchbase fundingrounds	general
peers	general	Oct 22, 2024 10:56 AM	4ce9ea09
news basic	general	Oct 22, 2024 10:56 AM	d7fee3a9
bundesanzeiger	filings
financials download nd	financials
private financials	financials

ORG:PROOFPAD

Proof Pad