.
FRDCSA | minor codebases | frd
Homepage

[Project image]
frd

Architecture Diagram: GIF

Jump to: Project Description | Parent Description | Capabilities

Project Description

Capabilities

  • frd: http://mathoverflow.net/questions/41214/has-anyone-thought-about-creating-a-formal-proof-wiki-with-verifier
  • frd: https://www.isa-afp.org/
  • Build the frd using AM-Eurisko
  • similar to frd http://cpskp.sourceforge.net/


This page is part of the FWeb package.
Last updated Sat Oct 26 16:37:56 EDT 2019 .