Algorithms: Design & Analysis

A collection of small haskell programs that serve as a perparation for the exam

A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".

Resolución de los códigos que se pedían para las tareas.

Avaliação em grupo RA01 da Disciplina de Resolução de Problemas de Natureza Discreta - BCC / PUCPR 2023

House Prices: Advanced Regression Techniques

Haskell implementation of aspects of the theory of Aligned Induction

full-program induction technique extended to probabilistic programs

Reconstruction of a trival Self Guided Learning algorithm

Proof that 20 glasses of Ouzo don't matter by Mathematical Induction

This repo consists of the solutions of discrete mathematics' homework. It was obliged to be done in the latex format.

Inductive puzzle to challenge and perplex (https://hightower.space/inductive-puzzles/)

Simulation of electromagnetic induction

British Council Induction Prototype

HyperSudoku Solver. Time limit: 2s.

My solutions to a problem set regarding algorithm design paradigms.

Fundamentos de la Computación in Liquid Haskell

A tutorial on well-founded recursion in Rocq

Induction, recursion, and the natural numbers