ForMaRE – Formal Mathematical Reasoning in Economics

Popular repositories Loading

1. auctions auctionsPublic

   Auction Theory Toolbox – Computer Verified Auctions

   TeX 15 2

2. community communityPublic

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

   Prolog 7

3. linguist linguistPublic

   Forked from github-linguist/linguist

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

   Ruby 1