nonfree-data Files

Nonfreely-Generated Datatypes in Isabelle/HOL

Brought to you by: metaforcy

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
bundle.zip	2013-06-25	155.0 kB	1
Totals: 1 Item		155.0 kB	1

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

Paessler - Monitor Your Whole Network in Minutes

Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.

Start Free 30-Day Trial

Ship Agents Faster

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

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