Sharjeel-Khan/financialCLF

Formalization of financial systems in linear logic

Makefile