deduction

There are 1 repository under deduction topic.

kesiev / kuroshimu
Kuroshimu is a procedural black box investigation game: guess what happened to 6 persons trapped by a cute journalist dog in an endlessly resetting simulated world.
deduction game investigation javascript pdf-generation print-and-play roguelike-game
Language:JavaScript 8
eyesopen
petrusmatiros / eyesopen
👀 Mafia/ToS/Werewolf inspired web based game. Play the famous social deduction game, with 14 unique roles!
deduction deduction-game game mafia-game role-playing-game web-app werewolf-game werewolf-online
Language:JavaScript 8
heqin-zhu / system-L
:arrow_right:Formal logic deduction based on system-L
formal-logic deduction deduction-system
Language:Python 5
trentpiercy / secret-hitler
Secret Hitler pass and play SPA. Built with @Vuejs
deduction game social vue
Language:HTML 5
DeepDeducing / GameofLife
This repository contains codes of deep deducing playing Game of Life.
deep-learning back-propagation stochastic-gradient-descent automated-reasoning deduction conways-game-of-life
Language:Python 1
Michaelsladkov / matlog_lab2
logic parsing automated-proof deduction
Language:Java 1
micheleorsi / grakn
The Database for AI
grakn graql knowledge-base knowledge-representation reasoning relational-databases hyper-relational database graph graph-database graph-visualization logic deduction
Language:Java 1
qdeduction / qbar
the rational proof assistant
qbar deduction logic type-theory rust natural-deduction rust-lang rational-deduction proof-assistant formal-verification
Language:Rust 1
TecMF / GraphProver
A graph based prover.
logic automatic prover deduction graph lua
Language:M4 1
DeepDeducing / Sudoku
This repository contains codes of deep deducing solving blank Sudoku.
deep-learning back-propagation stochastic-gradient-descent automated-reasoning deduction sudoku
Language:Python 0
ipserc / QUADRATIC-EQUATION-SOLUTION
Deduction of the expression of the quadratic equation solution
deduction quadartic solution