GitHub repository: pankajsejwal/Maxima_vennplot
Description: Plotting venn diagram for logical relations on Maxima