Skip to content

@formare ForMaRE – Formal Mathematical Reasoning in Economics

Change the repository type filter

All

    Repositories list

    3 repositories

    • auctions

      Public
      Auction Theory Toolbox – Computer Verified Auctions
      TeX
      •
      Other
      •3•11•37•0•Updated Jul 12, 2016Jul 12, 2016

    • community

      Public
      This repository is to build up a collection of pointers to economics formalizations (software, theorems, proofs).
      Prolog
      •0•6•0•0•Updated Oct 25, 2013Oct 25, 2013

    • linguist

      Public
      Language Savant - if your repo's language is being reported incorrectly, send us a pull request!
      Ruby
      •
      MIT License
      •4.2k•0•3•0•Updated Sep 5, 2013Sep 5, 2013