nonfree-data

Nonfreely-Generated Datatypes in Isabelle/HOL

Brought to you by: metaforcy

Add a Review

Downloads: 0 This Week

Last Update: 2013-06-25

Download

Get an email when there's a new version of nonfree-data

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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

Isabelle/Eclipse
Eclipse integration for Isabelle proof assistant
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.
The Pirates' Treasure Hunt for Windows
"The Pirates' Treasure Hunt" is an adventure game originally written by Delton T. Horn as part of his "Golden Flutes and Great Escapes" games collection. This is my attempt at converting it into a Windows-based GUI game program.
Micronaut Data
Ahead of Time Data Repositories