Discover SnowOnion/ATPPFHS Open Source project by @SnowOnion

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
Created about 6 years ago
Updated about 6 years ago

SnowOnion

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Automated Theorem Prover for Propositional logic by Forward proof search in Hilbert-style axiomatic System implemented in HaSkell. Inefficient by fate. Just wanna visualize the craziness of deriving theorems in Hilbert-style axiomatic System.

category-theory-seminar-notes-cnu-2018

首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.

TeX

Proof-Theory-Notes-zh_CN

我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu, THU. Parts of contents are my own supplement. The mistakes, if any, very likely belong to me.

TeX

Adao-kaomoji-for-sogou-pinyin-input-method

用电脑版搜狗拼音输入法快速输入 A 岛颜文字的方法；探索以颜文字为代表的快捷消息的管理方法论 ( ﾟ∀。)

Python

The_Science_and_Art_of_Minesweeper

扫雷的科学与艺术（未完成）。Try to solve minesweeper game automatically, efficiently (not yet succeeded). 踩地雷的科學與藝術（未完成）。

HTML

godoogle

godoogle := Hoogle for Godoc / 通过函数签名（输入输出类型）搜索 Go API。

ThuHaskell2016Autumn

Some course materials for Functional Programming in Haskell, THU 2016 Autumn

Haskell

Goraph

Game of Go on arbitrary planar graph / 任意「可平面图」上的围棋游戏。

JavaScript

echochohoo

A command line utility. echochohoo "echo" == "echochohoo". For bash and zsh. Chinese name: 余音绕梁音绕梁绕梁梁。

PowerShell

TeXPractice

TeX练习.

TeX

J2mConvertedTestcases

For certain reason, convert some JUnit format testcase into "main method format". Here's the result.

Java

SICP-SnowOnion

My SICP Practice

Scheme

automataprojectexam

Automatically exported from code.google.com/p/automataprojectexam 这个项目是清华大学 MSE09级自动机与形式逻辑课程的大作业项目，收录各组的大作业

HTML

mlsp-statistics

游戏解说、视频制作者「满楼水平」（A.K.A. 撒神、撒萌萌）的 DotA 1 视频数据，以及在其上做的统计汗挖掘

HTML

SnowOnion/ATPPFHS

SnowOnion

Reviews

Repository Details

More Repositories