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

Algorithms: Design & Analysis

House Prices: Advanced Regression Techniques

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

Haskell implementation of aspects of the theory of Aligned Induction

induction and capacity meter with pic controller.

full-program induction technique extended to probabilistic programs

Reconstruction of a trival Self Guided Learning algorithm

HyperSudoku Solver. Time limit: 2s.

Standard library for [Imandra](https://imandra.ai)

Depth-Bounded PCFG Induction

[obsolete] parser for https://github.com/tip-org/

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

Implementation of Kalmus’ guidance method for robot navigation

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

Simulation of electromagnetic induction

Writes algorithms with multiple predicates