vulcan
Version:
A resolution-based propositional logic tool
16 lines (11 loc) • 322 B
HTML
<html ng-app="vulcanApp">
<head>
<title>Vulcan</title>
<script src="vulcan.js"></script>
<script src="https://ajax.googleapis.com/ajax/libs/angularjs/1.4.4/angular.min.js"></script>
<script src="app.js"></script>
</head>
<body>
<ng-include src="'vulcan.html'"></ng-include>
</body>
</html>