Algorithms

• lean\ - algumas demostrações de teorias formais utilizando lean
• metaheuristics - meta-heurísticas e problemas multi e mono objetivo desenvolvidas