simple_program_extractioning

Brought to you by: sdailler

Add a Review

Downloads: 0 This Week

Last Update: 2013-01-30

Browse Code ▾

Add to Preferred Sources

Simple programs I am writing with dirty proofs in Coq.

Project Activity

See All Activity >

Follow simple_program_extractioning

simple_program_extractioning Web Site

Other Useful Business Software

Endpoint Management with Remote Control Built In

Patch, monitor, and connect to Windows and macOS devices from one console

Splashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.

Start Free Trial

Rate This Project

User Reviews

Be the first to post a review of simple_program_extractioning!

Additional Project Details

Registered

2013-01-30

Report inappropriate content

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Start Free

Recommended Projects

Agda
Agda is a dependently typed programming language
Agda 1
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
SASyLF
SASyLF is an proof assistant for reasoning about programs.
RepairCenter
Application for managing the repair company.
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant