Luca Ferranti

icon location Tampere, Finland icon location maths, coding, codings maths, automated reasoning and all sort of cool nerdy stuff

Results 3 repositories owned by Luca Ferranti

FuzzyLogic.jl

31
Stars
2
Forks
Watchers

Julia package for fuzzy inference

verified publisher icon lucaferranti

GeometricTheoremProver.jl

23
Stars
1
Forks
Watchers

A Julia library for automated deduction in Euclidean geometry.

verified publisher icon lucaferranti

PlutoGrader.jl

19
Stars
0
Forks
Watchers

automatically grade pluto notebooks

verified publisher icon lucaferranti