Giters
0xGeorgii
/
SharpLogic
Open source F# mathematical logic library.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
1
Issues:
25
Forks:
2
0xGeorgii/SharpLogic Issues
BuildAllFormulasInterpritations should handle a situation having multiple Var occurrence in formula
Updated
3 years ago
⭐ Write a documentation for features 1-4
Updated
3 years ago
Determine whether a formula consistent
Updated
3 years ago
Determine whether a formula is inconsistent
Updated
3 years ago
Determine whether a formula is valid
Updated
3 years ago
Determine whether a formula invalid
Updated
3 years ago
Update Wiki code examples
Closed
3 years ago
Development should be based on the test data. What should be done accordingly?
Closed
3 years ago
Introduce 'forall'
Closed
3 years ago
Atom (expression) design
Closed
3 years ago
Write missed unit tests
Updated
3 years ago
Generate site with documentation
Updated
3 years ago
Use FsUnit instead of MSTest
Closed
3 years ago
Run fsprojects/fantomas source code formatter
Closed
3 years ago
Check wether a formula is correct
Closed
4 years ago
Comments count
1
Build all possible combinations for a formula
Closed
4 years ago
Comments count
1
Print a table with all possible values for atoms in a formula
Closed
4 years ago
Comments count
1
Print output as HTML
Updated
3 years ago
Print output as MD
Updated
3 years ago
Print output as PDF
Updated
3 years ago
Can be fantomas included into GitHub actions?
Updated
3 years ago
Create a fun to evaluate a Function
Updated
3 years ago
Setup build
Updated
3 years ago
Setup package publishing
Updated
3 years ago
Visualize expression in a tree view
Updated
3 years ago