Something went wrong. Try again.
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Something went wrong. Try again.
413 B · 17 lines
JavaScript
at master
1234567891011121314151617import React from 'react';import TeX from '@matejmazur/react-katex';
function GoalView({ conclusion, complete, disabled }) { return ( <div className="goal-container"> <h3>Goal</h3> <br /> <TeX math={conclusion} /> <br /> <br /> {!disabled && <p className={complete? 'green' : 'red'}>{complete ? 'Reached' : 'Incomplete'}</p>} </div> );}
export default GoalView;