lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

Published 20 hours ago • verified publisher icon Deducteam

Delete 3 functions

Open amelieled opened this issue 4 years ago • 0 comments

Just to delete 3 functions (and test the new CI).

amelieled avatar Feb 01 '21 22:02 amelieled