nonfree-data

Nonfreely-Generated Datatypes in Isabelle/HOL

Brought to you by: metaforcy

Add a Review

Downloads: 1 This Week

Last Update: 2013-06-25

Download

Add to Preferred Sources

Mutually-recursive non-nested non-freely generated dataytypes in Isabelle/HOL. Implemented as the animation of a meta-theory regarding the initial model of Horn clauses.

Project Activity

See All Activity >

Follow nonfree-data

nonfree-data Web Site

Other Useful Business Software

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

Rate This Project

User Reviews

Be the first to post a review of nonfree-data!

Additional Project Details

Registered

2012-07-27

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.

Start Free

Recommended Projects

BowTIE: Brass Technique Instruction Env
BowTIE (Brass Technique Instruction Environment) is an application designed to help trumpet, horn, euphonium, and tuba players learn fingering technique. BowTIE provides excellent support for trumpet and horn players who are learning to transpose.
The Spirit Parser Library
Spirit is an object oriented recursive descent parser generator framework implemented using template meta-programming techniques.
HOL theorem-proving system
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
Shax - A Somali Game
Shax, pronounced Shahh, is the most important traditional abstract board game of Horn of Africa. Its origins date back to antiquity. It belongs to the Morris Family of games.
CiviCRM
Growing and Sustaining Relationships