Project

General

Profile

« Previous | Next » 

Revision f0195e96

IDf0195e96ea2720e74e91a9b52f7ce70f752f1f10
Parent 2120af73
Child b2ffde68

Added by Pierre-Loïc Garoche 23 days ago

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences