SimPouλet

Brought to you by: ppedrot

Last Update: 2016-07-24

Browse Code

Get an email when there's a new version of SimPouλet

A Coq proof of Eijiro Sumii's article “A Complete Characterization of Observational Equivalence in Polymorphic λ-calculus with General References”.

Project Activity

See All Activity >

License

Other License

Follow SimPouλet

SimPouλet 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.

Try It Free

Rate This Project

User Reviews

Be the first to post a review of SimPouλet!

Additional Project Details

Intended Audience

Education, Science/Research

Registered

2010-06-14

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.

Try It Free

Recommended Projects

PhEq_bootstrap
FDA's f2 computation with bootstrap technique
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
NanoID
IV and PSD characterization of a nanopore
WikipediaBioReferences
It is a tool to improve wikipedia article. You enter a taxon name, it will search on 50 well known and free taxonomist web sites and will generate wikipedia syntax containing a complete taxobox + a list of subtaxon + a list of references
SCWC-bio-simulator
The Calculus of Wrapped Compartments is a variant of the Calculus of Looping Sequences. CWC strongly simplifies the development of automatic tools for the analysis of biological systems. The SCWC-sim is a OCaml implementation of CWC calculus.