peano

★ 8 Open GitHub ↗

Implementation of Peano arithmetic in Prolog

Explore Similar Repositories

plugin-github-frontend : [NOT MAINTAINED] Use Kanboard to manage Github Issues
FinePar : FinePar: Irregularity-Aware Fine-Grained Workload Partitioning on Integrated Architectures
tick-kube : A set of Kubernetes manifest files for InfluxData's TICK Stack
MeetUp.ApiTokenDemo : 介紹跨網站傳遞授權資訊時的安全問題，用100行以內的程式示範數位簽章如何解決這個問題。也示範了這樣的技巧能解決那些更複雜的授權問題。有文字版本可以閱讀，也提供介紹的錄影，以及相關的 PPT 跟 source code.
AimCux.Net : AimCux is the bestast csgo hake
// repository documentation