grant

SHF: MEDIUM: Extensible LCF-style Theorem Proving with Dependent Rows

Organization University of IowaLocation IOWA CITY, United StatesPosted 1 Oct 2025Deadline 30 Sept 2029
NSFUS FederalResearch GrantScience FoundationIA
Sign up free to applyApply link · pipeline · email alerts
— or —

Get email alerts for similar roles

Weekly digest · no password needed · unsubscribe any time

Description preview

This project develops new foundations for machine-verified proof in programming languages and mathematics. Formalized libraries of mathematics enable increased confidence in the correctness of proven results, large-scale collaboration on future results, and a database of relevant facts for automated reasoning. However, reuse of formalized proofs…

🔒

Full details available on the Agency plan

Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link — plus alerts, pipeline tracking, and CSV export.

Start 7-day free trial — $29.99/mo →

Agency Plan

7-day free trial

Unlock procurement & grants

Upgrade to access active tenders from World Bank, UNDP, ADB and more — with email alerts and pipeline tracking.

$29.99 / month

  • 🔔Email alerts for new matching tenders
  • 🗂️Track tenders in your pipeline
  • 💰Filter by contract value
  • 📥Export results to CSV
  • 📌Save searches with one click
Start 7-day free trial →

Explore more

📍 More grants in United States🏷 More NSF opportunities🏷 More US Federal opportunities🏷 More Research Grant opportunities🏢 All nsf_awards opportunities
SHF: MEDIUM: Extensible LCF-style Theorem Proving with Dependent Rows — University of Iowa | United States | Oct 2025 | Dev Procure