metarec

algorithmic rule systems for Isabelle

Brought to you by: metaforcy

Add a Review

Downloads: 0 This Week

Last Update: 2013-04-24

Browse Code

Get an email when there's a new version of metarec

The animation of algorithmic rule systems
based on the Isabelle theorem prover.

Project Activity

See All Activity >

Follow metarec

metarec 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 metarec!

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

Isabelle/Eclipse
Eclipse integration for Isabelle proof assistant
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
z-vimes
Type checker and (eventually) theorem prover for the Z specification language.
Yangtze
semantic research toolkits theorem prover, plus journalized term system
Automated Reasoning for Bluespec Designs
This page contains tools for applying automated reasoning to Bluespec SystemVerilog (BSV) hardware designs. We provide code for importing BSV designs into the PVS theorem prover and the SAL model checker.