Project

General

Profile

« Previous | Next » 

Revision f5c36991

IDf5c36991e974fc8908832ab46a89e30cc9b99c2e
Parent 6599e00f
Child 6deef2be

Added by Pierre-Loïc Garoche about 4 years ago

Added items in the TODO.org to drive the implementation of the proof feature

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences