Oluwaponmile Femi-Sunmaila
Results
1
issues of
Oluwaponmile Femi-Sunmaila
Proofs produced by the `modus proof` command will now contain literals that are coloured the same way that the user's terminal colours directories, so it is guaranteed to be easily...