Repositories list

• signdet

  Public
  Sign determination for CAD

  Coq

  •

  MIT License

  •1•0•0•0•Updated Feb 9, 2018Feb 9, 2018

• finmap

  Public
  Finset and finmap library

  Coq

  •28•1•0•0•Updated Mar 3, 2017Mar 3, 2017

• newtonsums

  Public
  Newton series transformation

  Coq

  •3•0•0•0•Updated Mar 15, 2016Mar 15, 2016