Project

General

Profile

« Previous | Next » 

Revision 1d36cd07

ID1d36cd07d32af658ac7bd6e07d4f69fa1619e68d
Parent 1a213985

Added by Kristin Braun 2 months ago

Tried to optimize translation with fixpoint approximation; added depthFormula function in CoAlgFormula

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences