SimPouλet

Brought to you by: ppedrot

Last Update: 2016-07-24

Browse Code

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

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

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

Recommended Projects

Equivalence Partition Organizer
Equivalence Partition Organizer is a tool to edit a set of equivalence classes and test cases based on them. Check consistency and completeness of both classes and test cases. Tables can be copied to the clipboard to use in Word, Excel or PowerPoint
Laravel Comments
Native comments for your Laravel application.
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
equ-iitg formal equivalence checker
This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.
Coq Jupyter
Jupyter kernel for Coq