ForMaRE – Formal Mathematical Reasoning in Economics (@formare)
Guthub

formare

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Org. Rank 126,863 (Top 41 %)
  • Registered over 11 years ago
  • Most used languages
    Prolog
         50.0 %
    TeX
         50.0 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 26,450
  • Country Ranking
    Prolog
         31
    TeX
         243

Top repositories

1

auctions

Auction Theory Toolbox – Computer Verified Auctions
TeX
11
star
2

community

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