halexus / aris Goto Github PK
View Code? Open in Web Editor NEWThis project forked from kovzol/aris
GNU Aris (fork)
License: GNU General Public License v3.0
This project forked from kovzol/aris
GNU Aris (fork)
License: GNU General Public License v3.0
This is the README for the GNU Aris distribution. Aris is a logical proof program, and supports propositional and predicate logic, Boolean algebra, and arithmetical logic in the form of abstract sequences (seqlog). Copyright (C) 2012, 2013 Ian Dunn Copying and distribution of this file, with or without modification, are permitted in any medium without royalty provided the copyright notice and this notice are preserved. See the file ./INSTALL for building and installation instructions. Distribution: ftp://ftp.gnu.org/gnu/aris/ Home page: http://www.gnu.org/software/aris/ Mailing list: [email protected] - please use this list for all discussion: bug reports, enhancements, etc. - anyone is welcome to join the list; to do so, visit http://lists.gnu.org/mailman/listinfo/bug-aris Bug reports: Please include enough information for the maintainers to reproduce the problem. Generally speaking, that means: - the contents of any input files necessary to reproduce the bug and command line invocations of the program(s) involved (very important!). - a description of the problem and any samples of the erroneous output. - the version number of the program(s) involved (use --version). - hardware, operating system, and compiler versions (uname -a). - unusual options you gave to configure, if any (see config.status). - anything else that you think would be helpful. See AUTHORS and THANKS for contributors. GNU Aris is free software. See the COPYING file for copying conditions.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.