ForMaRE โ€“ Formal Mathematical Reasoning in Economics (@formare)
Guthub

formare

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    15
  • Global Org. Rank 133,179 (Top 43 %)
  • Registered about 11 years ago
  • Most used languages
    TeX
         50.0 %
    Prolog
         50.0 %
  • Location ๐Ÿ‡ฌ๐Ÿ‡ง United Kingdom
  • Country Total Rank 26,450
  • Country Ranking
    Prolog
         34
    TeX
         263

Top repositories

1

auctions

Auction Theory Toolbox โ€“ Computer Verified Auctions
TeX
10
star
2

community

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