simple_program_extractioning

Brought to you by: sdailler

Downloads: 0 This Week

Last Update: 2013-01-30

Browse Code ▾

Simple programs I am writing with dirty proofs in Coq.

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Rate This Project

User Reviews

Be the first to post a review of simple_program_extractioning!

2013-01-30

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Recommended Projects

Agda
Agda is a dependently typed programming language
The Agda standard library
The Agda standard library
Coq Jupyter
Jupyter kernel for Coq
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/
RepairCenter
Application for managing the repair company.