SharpLogic

KO | EN

gitlite — search

#hacktoberfest #ai #llm #golang #go #android #rust #nodejs #macos #java #awesome-list #security #pytorch #mcp

(★ 14)

Open source F# mathematical logic library.

SharpLogic 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

![image](https://user-images.githubusercontent.com/22812032/110662714-d1562400-81d6-11eb-89f4-58182cf73a2d.png)

## Open source F# mathematical logic library.

### Should covers propositional logic. Intuitionism logic. Automate inference, automate reasoning and automate theorem proofs. All in F# functional style.

Literature:
* [Introduction to Metamathematics](https://amzn.to/2X9UwH8)
* [Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics](https://amzn.to/39287FK)
* [Handbook of Practical Logic and Automated Reasoning](https://amzn.to/2Mqe0Vz)

### Founded 01/01/2021

## Build

Main branch build |
:---: |
[![GitHub Actions](https://github.com/GeorgePlotnikov/SharpLogic/workflows/.NET/badge.svg?branch=main)](https://github.com/GeorgePlotnikov/SharpLogic/workflows/.NET/badge.svg?branch=main) |
[![Build History](https://buildstats.info/github/chart/GeorgePlotnikov/SharpLogic)](https://github.com/GeorgePlotnikov/SharpLogic/actions?query=branch%3Amain) |

## Feature list

1. [Check a formula for acceptability](https://github.com/GeorgePlotnikov/SharpLogic/wiki/IsFormulaAcceptable)
2. [Verbose a formula](https://github.com/GeorgePlotnikov/SharpLogic/wiki/VerboseFormula)
3. [Decompose a formula to the calculation list](https://github.com/GeorgePlotnikov/SharpLogic/wiki/BuildFormulaCalcList)
4. [Calculate a formula in tableaux method](https://github.com/GeorgePlotnikov/SharpLogic/wiki/Calculate-a-formula-in-tableaux-method)
5. [Verbose Tableux Calculus](https://github.com/GeorgePlotnikov/SharpLogic/wiki/VerboseTableuxCalculus)

SharpLogic

SharpLogic 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

SharpLogic

SharpLogic 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README