Giters

rennelou / intro-logics

Estudos sobre logica

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Estudos sobre logica

Languages

Language:TypeScript 71.0%Language:Agda 27.3%Language:Nix 1.5%Language:JavaScript 0.1%