1 search result for "author:"Razvan Voicu <razvan@comp.nus.edu.sg> [http://www.comp.nus.edu.sg/~razvan/]""

Showing 1 - 1
  1. coq-descente-infinie

    No documentation

    The Descente Infinie Tactic
    keyword: induction keyword: infinite descent category: Miscellaneous/Coq Extensions date: 2010-02
    Razvan Voicu <razvan@comp.nus.edu.sg> [http://www.comp.nus.edu.sg/~razvan/] Li Mengran <limengra@comp.nus.edu.sg> [http://www.comp.nus.edu.sg/~limengra]
    8.10.0
    GPL
    Used by 0 other packages
    19 Oct 2020