Assalam-o-Alaikum Greetings ,i need someone who can help me with a small project about coq.These are some of old mathematical theorems to be solved.Files is attached. (Budget: $2 – $8 AUD, Jobs: Mathematics, Statistics)
Coq (Mathematical equations )