Skip to content
@formare

ForMaRE – Formal Mathematical Reasoning in Economics

Popular repositories Loading

  1. auctions auctions Public

    Auction Theory Toolbox – Computer Verified Auctions

    TeX 11 3

  2. community community Public

    This repository is to build up a collection of pointers to economics formalizations (software, theorems, proofs).

    Prolog 6

  3. linguist linguist Public

    Forked from github-linguist/linguist

    Language Savant - if your repo's language is being reported incorrectly, send us a pull request!

    Ruby

Repositories

Showing 3 of 3 repositories
  • auctions Public

    Auction Theory Toolbox – Computer Verified Auctions

    formare/auctions’s past year of commit activity
    TeX 11 3 37 0 Updated Jul 12, 2016
  • community Public

    This repository is to build up a collection of pointers to economics formalizations (software, theorems, proofs).

    formare/community’s past year of commit activity
    Prolog 6 0 0 0 Updated Oct 25, 2013
  • linguist Public Forked from github-linguist/linguist

    Language Savant - if your repo's language is being reported incorrectly, send us a pull request!

    formare/linguist’s past year of commit activity
    Ruby 0 MIT 4,797 3 0 Updated Sep 5, 2013

Top languages

Loading…

Most used topics

Loading…